Dr. Matteo Maffei
Matteo Maffei has been head of the Affiliated Independent Research Group Language-Based Security since July 2008.
Short CV
Matteo Maffei studied computer science at the University of Venice, Italy, where he received his Laurea in computer science in 2002 and his Ph.D. in computer science in 2006. From 2006 to 2008, he conducted postdoctoral research at the Information Security and Cryptography group at Saarland University.
Currently, Matteo Maffei is a member of Saarland University and is the head of the Language-based Security group within the Cluster of Excellence "Multimodal Computing and Interaction."
Research interests
His recent research interests include analysis of cryptographic protocols, semantics of concurrency, and program verification.
Contact
Publications
- Michele Bugliesi and Stefano Calzavara and Fabienne Eigner and Matteo Maffei Logical Foundations of Secure Resource Management in Protocol Implementations In: POST, 2013
- Michael Backes and Sebastian Gerling and Christian Hammer and Matteo Maffei and Philipp von Styp-Rekowsky AppGuard - Enforcing User Requirements on Android Apps In: TACAS, 2013
- M. Backes and M. Maffei and K. Pecina Securing social networks In: PODC, 2011
- Michael Backes and Matteo Maffei and Dominique Unruh Computationally sound verification of source code In: ACM Conference on Computer and Communications Security, 2010
- Michael Backes and Matteo Maffei and Esfandiar Mohammadi Computationally Sound Abstraction and Verification of Secure Multi-Party Computations In: FSTTCS, 2010
- Michael Backes and Stefan Lorenz and Matteo Maffei and Kim Pecina Brief announcement: anonymity and trust in distributed systems In: PODC, 2010
- Michael Backes and Stefan Lorenz and Matteo Maffei and Kim Pecina Anonymous Webs of Trust In: Privacy Enhancing Technologies, 2010
- Reinhard Wilhelm and Matteo Maffei Ubiquitous Verification of Ubiquitous Systems In: SEUS, 2010
- Riccardo Focardi, Matteo Maffei Types for security protocols In: Formal Models and Techniques for Analyzing Security Protocols, 2010
- Michael Backes and Marek Hamerlik and Alessandro Linari and Matteo Maffei and Christos Tryfonopoulos and Gerhard Weikum Anonymity and Censorship Resistance in Unstructured Overlay Networks In: OTM Conferences (1), 2009
- Michael Backes and Martin P. Grochulla and Catalin Hritcu and Matteo Maffei Achieving Security Despite Compromise Using Zero-knowledge In: CSF, 2009
- Michael Backes and Marek Hamerlik and Alessandro Linari and Matteo Maffei and Christos Tryfonopoulos and Gerhard Weikum Anonymous and censorship resistant content sharing in unstructured overlays In: PODC, 2008
- Michael Backes and Catalin Hritcu and Matteo Maffei Type-checking zero-knowledge In: ACM Conference on Computer and Communications Security, 2008
- Michael Backes and Stefan Lorenz and Matteo Maffei and Kim Pecina The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis In: CAV, 2008
- Michael Backes and Catalin Hritcu and Matteo Maffei Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus In: CSF, 2008
- Michael Backes and Matteo Maffei and Dominique Unruh Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol In: IEEE Symposium on Security and Privacy, 2008
- Michael Backes and Agostino Cortesi and Matteo Maffei Causality-based Abstraction of Multiplicity in Security Protocols In: CSF, 2007
- Michael Backes and Agostino Cortesi and Riccardo Focardi and Matteo Maffei A calculus of challenges and responses In: FMSE, 2007
- Michael Backes and Matteo Maffei and Dominique Unruh Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol In: Formal Protocol Verification Applied, 2007
- Michele Bugliesi and Riccardo Focardi and Matteo Maffei Dynamic types for authentication In: Journal of Computer Security, 2007
- Michele Bugliesi and Riccardo Focardi and Matteo Maffei Analysis of Typed Analyses of Authentication Protocols In: CSFW, 2005
- Riccardo Focardi and Matteo Maffei and Francesco Placella Inferring authentication tags In: WITS, 2005
- Matteo Maffei Tags for Multi-Protocol Authentication In: Electr. Notes Theor. Comput. Sci., 2005
- Michele Bugliesi and Riccardo Focardi and Matteo Maffei Compositional Analysis of Authentication Protocols In: ESOP, 2004
- Michele Bugliesi and Riccardo Focardi and Matteo Maffei Authenticity by tagging and typing In: FMSE, 2004
- Riccardo Focardi and Matteo Maffei The rho-spi Calculus at Work: Authentication Case Studies In: Electr. Notes Theor. Comput. Sci., 2004
- Michele Bugliesi and Riccardo Focardi and Matteo Maffei Principles for Entity Authentication In: Ershov Memorial Conference, 2003
Affiliation
