Matteo Maffei

2008
16	EE	Michael Backes, Catalin Hritcu, Matteo Maffei: Type-checking zero-knowledge. ACM Conference on Computer and Communications Security 2008: 357-370
15	EE	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina: The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV 2008: 419-422
14	EE	Michael Backes, Catalin Hritcu, Matteo Maffei: Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF 2008: 195-209
13	EE	Michael Backes, Matteo Maffei, Dominique Unruh: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. IEEE Symposium on Security and Privacy 2008: 202-215
12	EE	Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum: Anonymous and censorship resistant content sharing in unstructured overlays. PODC 2008: 429
2007
11	EE	Michael Backes, Agostino Cortesi, Matteo Maffei: Causality-based Abstraction of Multiplicity in Security Protocols. CSF 2007: 355-369
10	EE	Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60
9	EE	Michael Backes, Matteo Maffei, Dominique Unruh: Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Formal Protocol Verification Applied 2007
8	EE	Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Dynamic types for authentication. Journal of Computer Security 15(6): 563-617 (2007)
2005
7	EE	Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Analysis of Typed Analyses of Authentication Protocols. CSFW 2005: 112-125
6	EE	Riccardo Focardi, Matteo Maffei, Francesco Placella: Inferring authentication tags. WITS 2005: 41-49
5	EE	Matteo Maffei: Tags for Multi-Protocol Authentication. Electr. Notes Theor. Comput. Sci. 128(5): 55-63 (2005)
2004
4	EE	Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Compositional Analysis of Authentication Protocols. ESOP 2004: 140-154
3	EE	Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Authenticity by tagging and typing. FMSE 2004: 1-12
2	EE	Riccardo Focardi, Matteo Maffei: The rho-spi Calculus at Work: Authentication Case Studies. Electr. Notes Theor. Comput. Sci. 99: 267-293 (2004)
2003
1	EE	Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Principles for Entity Authentication. Ershov Memorial Conference 2003: 294-306

Coauthor Index

1	Michael Backes	[9] [10] [11] [12] [13] [14] [15] [16]
2	Michele Bugliesi	[1] [3] [4] [7] [8]
3	Agostino Cortesi	[10] [11]
4	Riccardo Focardi	[1] [2] [3] [4] [6] [7] [8] [10]
5	Marek Hamerlik	[12]
6	Catalin Hritcu	[14] [16]
7	Alessandro Linari	[12]
8	Stefan Lorenz	[15]
9	Kim Pecina	[15]
10	Francesco Placella	[6]
11	Christos Tryfonopoulos	[12]
12	Dominique Unruh	[9] [13]
13	Gerhard Weikum	[12]