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 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
Seminar Talk by Allan Tomlinson
Allan Tomlinson will give a seminar talk about "Simulation of attacks on Robotic Swarms" on November...
Read more »
Nov 08
First release of the ijtihad QBF solver
Vedad Hadzic, under the supervision of Nicolas Braud-Santoni at the Systematic Construction of...
Read more »