Banner Left
Logo
Systematic Construction of Correct Systems

The Systematic Construction of Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems....

Read more...


Logo
Publications

...

Read more...

Institute of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Apr 14
Best Paper Award at COSADE 2016
The paper "Exploiting the Physical Disparity: Side-Channel Attacks on Memory Encryption" by Thomas ...
Read more »
Jan 13
Summer, Fun, and Sun Again: Apply for an IAIK Internship. Now.
Are you interested in what we are doing at IAIK? Have you even been thinking of applying fo...
Read more »
Dec 12
ERC Grants in IT Security and Brain-Computer Interfaces
Stefan Mangard and Gernot Müller-Putz, two researchers of the "Faculty for Computer Science an...
Read more »