Security Engineering Group

The Security Engineering Group (SecEng) aims at bridging the gap between the cryptography, software engineering and formal methods communities by offering theoretically sound methods for the design and analysis of secure systems.

Besides basic research in different areas of research, we investigate how to secure critical infrastructures, railway systems and road vehicles. The digital era requires new security mechanisms for modern cars, especially if they are supposed to move autonomously.

According to the paradigm “no safety without security”, the Security Engineering Group explores how to securely design road vehicles to mitigate cyberattacks and to eventually avert harm from vehicle passengers and their surroundings.