About
-
Our research strengths include
- formal methods for the analysis and enforcement of security and privacy properties in various scenarios, such as cryptographic protocols, mobile apps, web applications, smart contracts;
- principles and technologies for system security, including the evaluation of the attack surface and the development of systematic countermeasures, with a focus on mobile, web, and cloud security;
- theory and applications of cryptography, with a focus on the design of privacy-enhancing cryptographic schemes, cryptographic protocols for blockchain technologies, and proof techniques for provable security.
Latest Blog Entries
- (2021-01-29) Sound Static Analysis of Smart Contracts
- (2020-07-31) Language-Based Web Session Integrity
- (2020-04-30) Contact Tracing - How does it limit privacy? (German version)
Professors
Elena Andreeva E. Andreeva
Assistant Professor
Asst.Prof. / PhD
Georg Fuchsbauer G. Fuchsbauer
Associate Professor
Assoc.Prof. DI Dr.
Martina Lindorfer M. Lindorfer
Assistant Professor
Asst.Prof. DI Dr. / BSc
Matteo Maffei M. Maffei
Head of Research Unit
Univ.Prof.
Scientific staff
Hamza Abusalah H. Abusalah
PostDoc Researcher
PhD
Lukas Aumayr L. Aumayr
PhD Student
DI / BSc
Jakob Bleier J. Bleier
PhD Student
BSc BSc MSc
Niklas Grimm N. Grimm
PostDoc Researcher
Dr. / BSc
Simon Jeanteur S. Jeanteur
PhD Student
Aakanksha Saha A. Saha
PhD Student
BSc MSc
Giulia Scaffino G. Scaffino
PhD Student
MA
David Schmidt D. Schmidt
PhD Student
DI / BSc
Alexander Sjösten A. Sjösten
PostDoc Researcher
PhD
Marco Squarcina M. Squarcina
PostDoc Researcher
Dr.
Carlotta Tagliaro C. Tagliaro
PhD Student
MSc
Erkan Tairi E. Tairi
PhD Student
DI
Mauro Tempesta M. Tempesta
Senior Lecturer
Dr.
Lorenzo Veronese L. Veronese
PhD Student
Mag.
Andreas Weninger A. Weninger
PhD Student
DI / BSc
Mathias Wolf M. Wolf
PhD Student
DI / BSc
Administrative staff
Johannes Simon J. Simon
IT Services
Dr.
Christopher Vomastek C. Vomastek
Office Services