ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
Matteo Maffei

Registered user since Fri 11 Sep 2015

Name: Matteo Maffei

Bio: 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 have been appointed associate 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.

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

Country: Germany

Affiliation: Saarland University

Personal website:

ECOOP 2015 Activities

ECOOP 2015-profile
View general profile