Faculty of Computer Science and Biomedical Engineering

Security and Safety

PLATYPUS

With PLATYPUS, we present novel software-based power side-channel attacks on Intel server, desktop and laptop CPUs. We exploit the unprivileged access to the Intel RAPL interface exposing the processor's power consumption to infer data and extract cryptographic keys.

Ascon

Ascon is designed to be a lightweight authenticated encryption solution for constrained devices without sacrificing cryptanalytic security, implementation security & robustness, and efficiency on other platforms.

Meltdown & Spectre

Meltdown and Spectre exploit critical vulnerabilities in modern processors. These hardware vulnerabilities allow programs to steal data which is currently processed on the computer.

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.

Areas of Research

Security and Cloud Computing, Information Security, Formal Methods for Dependability, Modelling and Verification, Cryptography, Software Engineering, Privacy

Researchers


Bernhard Aichernig Associate Professor Website Dependable Computer-based Systems, Formal Methods and Testing, Falsification, Verification, Abstraction Techniques	Roderick Bloem Professor Website Computer Aided Verification, Formal Verification, Reactive Synthesis and Security

Maria Eichlseder Assistant Professor Website Design and Cryptanalysis of Symmetric Cryptographic Algorithms, Hash Functions, Authenticated Encryption Algorithms and their Underlying Primitives	Daniel Gruss Assistant Professor Website Software-based Attacks and Defenses on Microarchitectural Layers in Hardware and Software, Information Security

Stefan Mangard Professor Website Hardware Security, Side Channels, Cryptographic Implementations, Security Verification, Secure System Architectures for Application Domains Ranging from Small Embedded and IoT Devices to Cloud Solutions	Christian Rechberger Professor Website Foundational and Applied Aspects of Cryptographic Security and Privacy

Gerald Steinbauer Associate Professor Website Autonomous Mobile Robots, Model-based Diagnosis, Reasoning, Planning and RoboCup	Franz Wotawa Professor Website Verification & Validation, Testing, Debugging, Formal Methods, Artificial Intelligence, Robotic

Dean's Office
Faculty of Computer Science and Biomedical Engineering
Inffeldgasse 10/II, 8010 Graz

Related Institutes