Banner Left
Logo
Systematic Construction of Correct Systems

The Systematic Construction of Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems....

Read more...


Logo
Secure Systems

The Secure Systems group, led by Prof. Stefan Mangard, focuses on algorithms, architectures, tools and design methodologies that allow to secure computing systems efficently and reliably. The main ...

Read more...

Institute of Applied Information Processing and Communications

 


Formal Methods Secure Crypto-implementations Secure e-Government Trustworthy Systems
Oct 10
Open Position | University Professor of Information Security
As of now, Graz University of Technology is seeking to fill a professorship in the area of informa...
Read more »
Oct 10
Open Position | Tenure Track Female Professorship in Cryptography
As of now, Graz University of Technology is seeking to fill a professorship in the area of crypto...
Read more »
Apr 27
Best Paper Award at IEEE Euro S&P 2018
Mario Werner, Thomas Unterluggauer, David Schaffenrath, and Stefan Mangard were awarded with the Be...
Read more »