Security and Privacy Group
> Zum Inhalt

Univ. Prof. Dr. Matteo Maffei

    Technische Universität Wien

    Institut für Informationssysteme 192/6
    Abteilung für Security and Privacy

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

   Telefone:+43 (1) 58801 184860
   Office Hours: by appointment 

We are hiring: multiple open positions

I am currently looking for motivated Ph.D. and postdoc applicants to work on web security, cryptocurrencies, and formal methods for security and privacy. Here you can find more information. 


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.

My research is funded by various projects, including the ERC Consolidator Grant "Browsec: Foundations and Tools for Client-Side Web Security" (2018-2023).

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 am

  • steering committee chair of POST, the security conference of ETAPS (since 2017);
  • publicity chair of CSF (2008-);
  • regular columnist for security and privacy in the ACM SigLog newsletter (2014-);
  • member of the IFIP WG 1.7 Working Group on Theoretical Foundations of Security Analysis and Design (2016-).

I am also engaged in various scientific services in Austria:

  • member of the executive board of the Vienna Center for Logics and Algorithms (VCLA);
  • member of the executive board of the Doctoral School on Logical Methods in Computer Science (LogiCS);
  • local coordinator of the Double Degree on IT Security between TU Wien and TU Darmstadt.


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

  • Invited talk on "Security and Privacy by Typing in Cryptographic Systems" at the second SYSMICS workshop.  
  • 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  


Below you can find some of my press contributions:

  • Memorandum of understanding between BMI and TU Wien (BMI)
  • "Eigentlich ist es Mathematik..." (Informatik Austria)
  • "Logic can make our browsers safe" (Myscience)
  • "Größter Datenklau der Geschichte" (Kurier)
  • "Wir können ein besseres Internet aufbauen" (Futurezone)