Banner Left
Logo
Publications

...

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 of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Dec 3
"IAIK Student Research Excellence Award 2016"
We are proud to announce the winners of this year's "Student Research Excellence Awards": Christian ...
Read more »
Dec 2
"Bachelor@IAIK 2017" and "Best Of IAIK 2016"
On Dec. 2nd, 12:00, we will present new bachelor project topics at the IAIK. Furthermore, we are goi...
Read more »
Nov 08
Successful PhD defence
The Systematic Construction of Correct Systems is happoy to announce that Daniel Hein succe...
Read more »