We unite research on all aspects of information security
![Secure Systems](/wp-content/uploads/assets/securesystems.png)
Systems
A Cornerstone of Today's
Digital World
Privacy
The Foundation of
Everything Secure
![Cryptology & Privacy](/wp-content/uploads/assets/crypto.png)
![Formal Methods](/wp-content/uploads/assets/formalmethods.png)
Methods
Methods to Rigorously Engineer
Zero-Bug Systems
Applications
Tools and Innovations
for Security
![Secure Applications](/wp-content/uploads/assets/secureapplications.png)
Open Access to our Research
Link to: Publications & Talks