| 2008 |
|---|
| 11 | 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 |
| 2007 |
|---|
| 10 | EE | Michael Backes,
Agostino Cortesi,
Matteo Maffei:
Causality-based Abstraction of Multiplicity in Security Protocols.
CSF 2007: 355-369 |
| 9 | EE | Michael Backes,
Agostino Cortesi,
Riccardo Focardi,
Matteo Maffei:
A calculus of challenges and responses.
FMSE 2007: 51-60 |
| 8 | 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 |
| 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 |
