Homepage of Matteo Maffei


Prof. Dr. Matteo Maffei
Phone: +49-681-302-70780
Fax: +49-681-302-71942
Email: maffei (at) cs (dot) uni-saarland (dot) de
Address: Saarland University - Computer Science Department
Campus E9.1, Room 1.06
66123 Saarbrücken, Germany

News: In 2017, I joined TU Vienna: please have a look at our new website.


I studied Computer Science at the University of Venice (Italy), where I received the Laurea in 2002 and the Ph.D. in 2006.

In the years 2006-2008, I conducted postdoctoral research at the Information Security and Cryptography group at Saarland University. In the years 2008-2013, I led the Language-Based Security group, which was affiliated with the Cluster of Excellence "Multimodal Computing and Interaction" and, since 2009, supported by the Emmy Noether fellowship by the German Research Foundation.

In 2013 I was appointed W2 professor at Saarland University within the Competence Center on IT-Security, Privacy, and Accountability, where I am currently heading the Secure and Privacy-preserving Systems Group.

In 2017, I joined TU Vienna as full professor and head of the Security and Privacy group.

Here you can find my CV.

Research Interests

I am generally interested in the design of cryptographic solutions to protect the privacy of users in the digital world and in the development of verification techniques to enforce security and privacy properties in programs, devices, and systems. More specifically, my research interests embrace:
  • Formal analysis of security and privacy properties in distributed systems (cryptographic protocols, web applications, ...)
  • Formal analysis of mobile apps
  • Program verification (type systems, abstract interpretation, SMT solving, ...)
  • Security and privacy by design
  • Privacy-enhancing technologies (ORAM, SMPC, zero-knowledge proofs, ...)
  • Privacy in cloud applications

Recent and Upcoming Events

ACM CCS 2017 24rd ACM Conference on Computer and Communications Security (PC member)
LogiCS/RiSE Summer School 2017 (Invited Speaker)
SCIoT 2017 1st Spring school on Security & Correctness in the Internet of Things 2017 (Invited Speaker)
IEEE S&P 2017 38th IEEE Symposium on Security and Privacy (PC member)
POST 2017 6th International Conference on Principles of Security and Trust (PC co-chair)
Past Activities

Community Services

Member of the ETAPS Steering Committee
Member of the IFIP WG 1.7 Working Group (Theoretical Foundations of Security Analysis and Design)
Publicity chair of the Computer Security Foundations Symposium
Regular columnist on Security & Privacy for the ACM SigLog newsletter (which you can download here)
Organiser of the CISPA Distinguished Lecture Series


You can find a list of my publications here.

Slides from Recent Talks

Tutorial on "Security and Privacy by Typing in Cryptographic Systems" at POPL'16 (pdf).
Tutorial on "Differential Privacy" at the 21st Estonian Winter School in Computer Science (pdf)
Invited talk on "Formal Security Analysis of Mobile and Web Applications" at Chalmers University (pdf) and Purdue University (pdf)