Security and Safety

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, 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

Related Institutes

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


To top