The Group

Mission

Our economic, political, and social life today is largely based on modern communication and IT infrastructures. The acceptance and continued expansion of these infrastructures depend on trust: all participants must have confidence in their proper functioning and, in particular, their security.

Our mission is:

to contribute to the foundations for building secure systems, that is methods, techniques, and tools for improving the reliability and security of complex systems.
to advance methods and tools for validating system security, i.e., rigorous approaches to modeling, testing, verifying, and formally certifying the security of IT systems.
to apply our results on practical problems together with partners from industry, government agencies, and the public at large.
to carry out education in Information Security and related areas.