Security and Privacy Group
> Zum Inhalt

Univ. Prof. Dr. Matteo Maffei

Technische Universität Wien
Institut für Informationssysteme 184/6
Abteilung für Security and Privacy

Favoritenstrasse 9-11
Stiege 2, 1. Stock 
A-1040, Wien

Telefone:+43 (1) 58801 184860


Follow @matteo_maffei

Curriculum Vitae:   

Office Hours: by appointment 

Services for the Scientific Community

I am an active member of my scientific community (see the full list of my scientific services). Among others,  I regularly participate in the program committees of the most prominent conferences in security, privacy, and programming languages;  I am steering committee chair of POST, the security conference of ETAPS; I serve as publicity chair of CSF; I am  regular columnist for security and privacy in the ACM SigLog newsletter; and am member of the IFIP WG 1.7 Working Group on Theoretical Foundations of Security Analysis and Design. 


My recent research interests focus on

  • formal verification of security properties for cryptographic protocols, mobile apps, web applications, and smart contracts
  • cryptographic protocols for the security and privacy of cryptocurrencies, cloud services, and analytics. 

For more detail, please take a look at the full list of publications.


Information on previous and current classes is available here. Below, you can find the slides of my recent invited talks. 

  • Tutorial on "Formal Methods for Security and Privacy" at the LAIVe Summer School 2017.   
  • Tutorial on "Formal Security Analysis of Android AppsIACR Cryptology School on Security and Correctness in the Internet of Things 2017".  
  • Tutorial on "Security and Privacy by Typing in Cryptographic Systems" at POPL'16.    
  • Tutorial on "Differential Privacy" at the 21st Estonian Winter School in Computer Science  
  • Invited talk on "Formal Security Analysis of Mobile and Web Applications" at Chalmers University   and Purdue University