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)
Faculty
Elena Andreeva E. Andreeva
Assistant Professor
Asst.Prof. / PhD
Georgia Avarikioti G. Avarikioti
PostDoc Researcher
(TU
Wien Excellence Program)
Dr.ETH
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
Full Professor
Univ.Prof.
Mauro Tempesta M. Tempesta
Senior Lecturer
Dr.
Scientific staff
Anagha Athavale A. Athavale
PhD Student
M.Tech.
Lukas Aumayr L. Aumayr
PhD Student
DI / BSc
Philipp Beer P. Beer
Student Staff
BSc
Jakob Bleier J. Bleier
PhD Student
BSc BSc MSc
Benjamin Farinier B. Farinier
PhD Student
Doctor / master
Simon Jeanteur S. Jeanteur
PhD Student
Amogh Pradeep A. Pradeep
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
Pedro Miguel Sousa Bernardo P. Sousa Bernardo
PhD Student
MSc
Marco Squarcina M. Squarcina
PostDoc Researcher
Dr.
Carlotta Tagliaro C. Tagliaro
PhD Student
MSc
Erkan Tairi E. Tairi
PhD Student
DI
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