Security and Privacy Group
> Zum Inhalt

Univ. Prof. Dr. Matteo Maffei

    Technische Universität Wien

    Institut of Logic and Computation 192/6
    Abteilung für Security and Privacy

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

   Telefone:+43 (1) 58801 192600
   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. 

Below you find my most recent publications.

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

Recent Invited Talks

  • FOSAD 2019: 19th International Summer School on Foundations of Security Analysis and Design (Invited Speaker)
  • TPB 2019: Theory and Practice of Blockchain Workshop (Invited Speaker)
  • Lecture Series in Distributed Ledgers and Smart Contracts at TU Darmstadt (Invited Speaker)
  • HVMW 2019: Helmut Veith Memorial Workshop (Invited Speaker)
  • HVCS 2019: 6th Workshop on Horn Clauses for Verification and Synthesis (Keynote Speaker).   
  • Verification Seminar at IRIF, Université Paris Diderot (Invited Speaker)
  • SBWS 2019: Swiss Blockchain Winter School (Invited Speaker). Security and Privacy for Payment Channel Network   
  • Dagstuhl 2018: Seminar on Web Security (Invited Speaker). WPSE: Fortifying Web Protocols via Browser-side Security Monitoring   
  • CAV 2018: 30th International Conference on Computer Aided Verification (Tutorial Presenter). Foundations and tools for the static analysis of Ethereum smart contracts  
  • SCIoT 2018: 2nd Summer School on Security & Correctness in the Internet of Things 2018 (Invited Speaker). Foundations and tools for the static analysis of Ethereum smart contracts  
  • IFIP 2018: IFIP Summer School on Privacy and Identity Management  (Invited Speaker). Security and Privacy Foundations of Blockchain Technologies  
  • Sysmics 2018: 2nd Workshop on Substructural Logics (Invited Speaker). Security and Privacy by Typing in Cryptographic Systems   


Information on previous and current classes is available here


Below you can find some of my press contributions:

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 

  • panel member for ERC Advanced Grant 2018
  • panel member of SNF NCCR 2019
  • associate Editor of the Frontiers in Blockchain journal (2018-);
  • 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-);
  • advisory board member of H2020 CyberTrust (2018-2022)

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.