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
Secure Systems

The Secure Systems group, led by Prof. Stefan Mangard, focuses on algorithms, architectures, tools and design methodologies that allow to secure computing systems efficently and reliably. The main ...

Read more...

Institute of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Jul 22
ECCelerate 3.0 released!
We proudly present a new version of our IAIK ECCelerate™ elliptic curve library! Version 3.0 b...
Read more »
Jul 20
Demiurge wins synthesis competition!
Our tool Demiurge just won the parallel synthesis track of the reactive synthesis competitio...
Read more »
Jul 08
CAESAR competition: Ascon selected as second-round candidate
Ascon, an authenticated encryption algorithm designed by IAIK cryptographers, has been selected as o...
Read more »