Research Interests
Matteo’s research interests focus on formal method for security and privacy (e.g., in cryptographic protocols, web applications, and smart contracts), web security and design of secure, privacy-preserving, and interoperable blockchain technologies.
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).