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).