About KASTEL SRL

KASTEL Security Research Labs (SRL) bundles IT security organized in research groups and labs at the Karlsruhe research location. Our aim is to develop a powerful approach instead of isolated partial solutions. The main focus is on overall security in specific areas of application, such as power grids, intelligent mobility, or smart factories.

  • Fact 1

    189 Members and Fellows

  • Fact 2

    15 Nationalities

  • Fact 3

    27 Labs

As a national Competence Center for IT Security, KASTEL Security Research Labs aims to develop methods and concepts for secure IT systems of the future. In this we rely on the expertise of numerous scientists, our fellows and members listed below.

Brief History

Symbolized by the Castel del Monte in Puglia, KASTEL was established as a national Competence Center for IT security by the Federal Ministry of Education and Research. Since January 1, 2021, KASTEL was renamed into the KASTEL Security Research Labs, and receives permanent funding through the Helmholtz Association.

  • Fact 1

    Since 2011

  • Fact 2

    14 Millions Euro Funding

  • Fact 3

    Funded by BMBF, MWK through the Helmholtz Association

KASTEL SRL Fellows

Human-Centered IT Security IT Security Privacy

Intersection of security, privacy and human-computer interaction

IoT Security Network Security

Network security, IoT security, law

Dependability Verification

Formal, logic-based methods for the specification and verification of software

Human-Centered IT Security Production Security Robotics

Automatic visual inspection and image exploitation, Signal and information processing, anthropomatics, robotics

Energy Systems Security

Security and privacy of future energy systems

Decentralized Systems Network Services

Decentralized systems and network services

Modeling Software Engineering

Modeling for continuous software engineering

Privacy Societal Security Usable Security

Design and Evaluation of End-User Viable Information Security and Privacy Solutions

Dependability Software Engineering

Dependability of Software-intensive Systems

Cryptography Quantification

Secure cloud computing, secure multi-party computing, security definitions and models, and hardware trust anchors.

Cyber Physical Systems

Logical foundations for cyber-physical systems and practical theorem proving tools

Legal Informatics

Legal informatics and IT security

Dependability Software Engineering

Dependability of software-intensive systems

Cryptography Privacy

Cryptographic Protocols for Privacy, Accountability and Transparency

Mobility Systems Security Software Engineering

Test, analysis and validation of software-intenstive systems, autonomous mobility

Applied Informatics Privacy

Digital Privacy, Designing Processes for Digital Privacy

Legal Informatics

Legal Informatics
Law of Digitization

IT Security Privacy

Technical data protection, network and IT security

Privacy Trustworthy Internet Technologies

Critical information infrastructures

Privacy Societal Security Usable Security

Usable security, privacy, society, secure communication

Economic Security Process Security

Innovation and risk management

Machine Learning System Security

Intersection of machine learning and computer security

Communication Security Network Security

Multimedia communication systems, mobile and ubiquituous computing, ambient technologies and wireless sensor networks

Machine Learning

Autonomous service robots, autonomous vehicles or assistance systems with cognitive capabilities

Public Law

Interdisciplinary Research (Law and Computer Science), Computational Law, Comparative Law

No results found, try another filter.
See All
01 / 05

KASTEL SRL Members

Kamyar Abedi

Research Group for Privacy and Security Researcher

Noah Abu El Wafa

Research Group for Logic of Autonomous Dynamical Systems Researcher

Martin Armbruster

Research Group Modelling for Continuous Software Engineering Researcher

Joshua Bachmeier

Research Group for Application-oriented Formal Verification Researcher

Abhilasha Bakre

Research Group for Building Healthcare Resilience against Cyber-Attacks Researcher

Shalini Banerjee

Research Group for Secure Computation and Communication Security Lab for Mobility Systems Researcher

Dr. Kaibin Bao

Security Lab for Energy Systems Researcher

Saskia Bayreuther

Research Group for Cryptography and Security Researcher

Maximilian Becker

Research Group for Human and Societal Factors Security Lab for Production Systems Researcher

Laurin Benz

Research Group for Cryptography and Security Researcher

Robin Marius Berger

Research Group for Cryptography and Security Researcher

Wasilij Beskorovajnov 

Competence Center for IT Security Researcher
01 / 14