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,
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.