-
Trusted Computing
Based on more than ten years of experience in implementing Java™ based cryptography, the Trusted Computing and Java Team focuses on Java™ language and PKI support for Trusted Comp...
Read more... 
-
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...
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 »