
Computer programs pervade our every-day life and over the last few decades, software has become ever more complex. Our job is to develop ways to make software as robust as bridges and buildings: software must be correct, reliable, safe and secure. We research ways to eliminate bugs through testing and proofs, ensure privacy, and to make software secure from malicious users through cryptography and implementation techniques. We lead and particpate in prestigious basic research projects in which we advance the state of the art, as well as applied projects in which we bring our research results to practice in industry.
Security and Cloud Computing, Information Security, Formal Methods for Dependability, Modelling and Verification, Cryptography, Software Engineering, Privacy
![]() | ![]() |
Bernhard Aichernig Dependable Computer-based Systems, | Roderick Bloem Computer Aided Verification, Formal |
![]() | ![]() |
Maria Eichlseder Design and Cryptanalysis of Symmetric | Daniel Gruss Software-based Attacks and Defenses |
![]() | ![]() |
Stefan Mangard Hardware Security, Side Channels, | Christian Rechberger Foundational and Applied Aspects |
![]() | ![]() |
Gerald Steinbauer Autonomous Mobile Robots, | Franz Wotawa Verification & Validation, Testing, |
Dean's Office
Faculty of Computer Science and Biomedical Engineering
Inffeldgasse 10/II, 8010 Graz