Floragasse 7 – 5th floor, 1040 Vienna

Matteo Maffei

Matteo Maffei

is key researcher at SBA Research and Professor at TU Wien.

Research Interests

Matteo’s research interests focus on formal verification of security properties (e.g., for cryptographic protocols, mobile apps, web applications, and smart contracts) and on privacy-enhancing technologies (e.g., for cryptocurrencies, cloud services, and analytics).


Bio

Matteo is Professor at the Institute of Logic and Computation at TU Wien and head of the Security and Privacy Group.

He studied Computer Science at the University of Venice (Italy), where he received the Laurea in 2002 and the Ph.D. in 2006. Between 2006 and 2017 he worked at Saarland University (Germany), first as research group leader and then as associate professor. In 2017, he joined TU Wien as full professor and head of the Security and Privacy Group. He is holder of a DFG Emmy Noether fellowship (2009) and an ERC Consolidator Grant (2018).

 


Publications

Full list of publications

Top Publications:

  • Verifying Relational Properties using Trace Logic (2019)
    • ARTICLE-true
    • Gilles Barthe and Renate Eilers and Pamina Georgiou and Bernhard Gleiss and Laura Kovacs and Matteo Maffei
    • arXiv
    @ARTICLE{Barthe2019Verifying,
       author = {Gilles Barthe and Renate Eilers and Pamina Georgiou and Bernhard Gleiss and Laura Kovacs and Matteo Maffei},
       authorhotlist = {true},
       title = {Verifying Relational Properties using Trace Logic},
       journal = {arXiv},
       year = {2019},
       month = {6},
    }

 

This Website uses Cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close