-
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... 
-
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...
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 »
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 »
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 »
"Privacy in the Secure IoT" is the title of our latest submission to fourth call of FIT-ITs fund...
Read more »