Banner Left
Logo
Formal Methods for Design & Verification

The Design and Verification Group started work on 1 February 2008. Lead by Roderick Bloem, they study the use of formal methods for the design of correct systems. This includes verifi...

Read more...


Logo
Krypto

IAIK's Krypto Group is lead by the cryptologist Vincent Rijmen. Vincent Rijmen is the co-designer of the algorithm Rijndael, which in October 2000 was selected by the National Institu...

Read more...

Institute for Applied Information Processing and Communications

 


Application oriented research Academic teaching activity Independent information center Support secure information society
Jan 28
New version 1.5 of IAIK's Matlab SCA Toolbox released
The "Implementation Attacks" research group at IAIK has released the new version 1.5 of its Matl...
Read more »
Jan 22
Guestprofessor Dr. Kazumaro Aoki (NTT, Japan)
In 2010 Dr. Kazumaro Aoki (NTT, Japan) stays as guest professor with the Krypto group. Dr. Aoki is f...
Read more »
Jan 22
FIT-IT Proposal PIT accepted
"Privacy in the Secure IoT" is the title of our latest submission to fourth call of FIT-ITs fund...
Read more »