Secure & Correct Systems
Our group focuses on the design, implementation, and verification of secure and correct systems. We study three main topics:
- Trusted Computing assesses and improves the security of a system with cryptographic mechanisms. We consider various environments such as Java, virtualized platforms, mobile devices and hardware security modules.
- We study the security properties of Advanced Computer Networks. This includes secure P2P routing and attack detection.
- We also study Formal Methods for Design and Verification. This includes model checking and automatic synthesis of systems from a specification given in a temporal logic.
Available Student Projects
Our currently offered master- and seminar-projects can be found here.
For information on Bachelor projects look here.
Members
- Roderick Bloem (lead)
- Kurt Dietrich
- Daniel Hein
- Georg Hofferek
- Ayrat Khalimov
- Robert Könighofer
- Peter Lipp
- Martin Pirker
- Ronald Tögl
- Johannes Winter
- Andreas Niederl
- Stefan Kraxberger
- Michael Kapfenberger
- Siegfried Podesser (TU Graz, Institute for Software Technology)
- Karin Greimel (NXP)
- Peter Danner (exthex)
- Udo Payer
- Andreas Griesmayer (UNU-ist)
- Barbara Jobstmann (VERIMAG)
- Ingo Pill (TU Graz, Institute for Software Technology)
- Stefan Staber (Onespin Solutions)
- Günther Lackner (studio78)