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.