Security Engineering Group

Security Engineering Group

The group 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. Using primitives and building blocks we develop designs for security features, applications and systems. Furthermore, we study the impact of security solutions on the society as a whole.

Director: Prof. Dr. Stefan Katzenbeisser