Research Labs

Our research labs consist of chairs, laboratories, and research groups which form the basis for interdisciplinary and application-oriented research in IT security.

  • Fact 1

    180 Members and Fellows

  • Fact 2

    15 Nationalities

  • Fact 3

    27 Labs

IoT Security    Network Security   

Competence Center for IT Security at FZI

Ingmar Baumgart is a private lecturer at KIT and heads the “Competence Center for IT Security” at the FZI Research Center for Information Technology. His group conducts research in IoT security, network security, security engineering, and privacy enhancing technologies. Research in these fields is strongly application-oriented focusing on the areas of mobility, production, and energy.

PD Dr.-Ing. Ingmar Baumgart

Network Security   

Research Group for Secure Computation and Communication

The research group “Secure Computation & Communication” is headed by Andy Rupp. It advances the formal modeling, design, analysis, and practical evaluation of novel methods for securing computation architectures and communication infrastructures at multiple layers. We are driven by the security challenges arising in the application domains: mobility, production, and energy.

Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Jürgen Beyerer, Prof. Dr. Veit Hagenmeyer, Prof. Dr. Hannes Hartenstein, Prof. Dr. ing. Anne Koziolek, Prof. Dr. Jörn Müller-Quade, Prof. Dr. Ralf Reussner, Prof. Dr. Thorsten Strufe, Prof. Dr. Ali Sunyaev, Dr. Andy Rupp, Prof. Dr. Martina Zitterbart

Dependability    Verification   

Research Group for Application-oriented Formal Verification

The research group “Application-oriented Formal Verification” of the KASTEL — Institute of Information Security and Dependability is headed by Bernhard Beckert. It conducts research on formal, logic-based methods for the specification and analysis of software from theoretical foundations to new methods and their transfer into practice. The goal is to improve dependability and security of critical systems.

Prof. Dr. Bernhard Beckert

Applied Informatics    Machine Learning   

Research Group for Applied Machine Intelligence

The research group “Applied Machine Intelligence” is headed by Marius Zöllner. Based on fundamental research new systems such as autonomous service robots, autonomous vehicles, or assistance systems with cognitive capabilities are to be realized. The use of these so-called technical-cognitive systems takes place primarily in the context of highly automated, efficient and intermodal mobility; connected, automated production and logistics as well as the interactive support of the user in everyday situations.

Prof. Dr. Marius Zöllner

Economic Security    Process Security   

Research Group for Business Administration (Associated Chair)

The research group “Business Administration”, in particular Innovation and Risk Management, at the TU Bergakademie Freiberg is headed by Marcus Wiens. Within the KASTEL-Institute for Information Security and Reliability the chair contributes to the economics of cyber risk management with a focus on game theory and business process analysis for production systems, behavioral economics‘ approaches to human factors & usability as well as quantification of cyber risks from a predominantly economic perspective.

Prof. Dr. Marcus Wiens

01 / 06