Banner Left
Logo
Secure & Correct Systems

The Secure & Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems. This includes Trusted...

Read more...


Logo
Java Security

The Java Security group focuses on secure, performance-optimized software implementations of cryptographic algorithms and protocols. The research area covers several aspects of dat...

Read more...

Institute for Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Apr 15
Suraq released
We have released the synthesis tool Suraq on GitHub. For more information, have a look Suraq...
Read more »
Mar 30
Tenured Professor Position in Cryptography
We are looking for a professor in cryptography. The application deadline is May 28th 2014. See the o...
Read more »
Mar 27
IAIK paper nominated for best paper award at IEEE RFID 2014
IAIK paper has been nominated for the IEEE RFID 2014 best paper award. The nominees are: "On the ...
Read more »