Our research labs consist of chairs, laboratories, and research groups which form the basis for interdisciplinary and application-oriented research in IT security.
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
The research group “Secure Computation & Communication” (C&C) advances the formal modeling, design, analysis, and evaluation of methods for securing computation architectures and communication infrastructures. C&C focuses on generic cross-cutting challenges of great importance with broad applications and benefits to the domains mobility, production, and energy, on three layers: secure protocols, secure communication, and secure software. These efforts are led by C&C Speaker Andy Rupp and Co-Speaker Anne Koziolek.
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
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
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
The research group “Building Healthcare Resilience against Cyber-Attacks” is developing a novel methodological framework to to make an entire hospital network more resistant to any future cyber threats. A comprehensive and interdisciplinary approach will be taken to assess the cascading effects of cyber-attacks, understand hospital network vulnerabilities, and build its system-wide resilience.
, Jun.-Prof. Dr. Emilia Grass