Searching for authors named "Matteo Maffei" – sorted by Relevance.
-
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus
- Backes 1,2 , Cătălin Hri¸tcu 1 , and Matteo Maffei 1 Abstract We present a general technique for modeling
- Cited by 1 (0 self) – Add To MetaCart
-
Compositional analysis of authentication protocols
- , and Matteo Maffei Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, I-30172
- Cited by 10 (6 self) – Add To MetaCart
-
Analysis of typed analyses of authentication protocols
- , and Matteo Maffei Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, I-30172
- Cited by 3 (0 self) – Add To MetaCart
-
Inferring authentication tags
- ABSTRACT Inferring Authentication Tags ∗ Riccardo Focardi Matteo Maffei Francesco Placella
- Cited by 1 (1 self) – Add To MetaCart
-
Dynamic types for authentication
- Dynamic Types for Authentication ∗ Michele Bugliesi Riccardo Focardi Matteo Maffei Dipartimento di
- Cited by 3 (2 self) – Add To MetaCart
-
Causality-based abstraction of multiplicity in security protocols
- Causality-based Abstraction of Multiplicity in Security Protocols Michael Backes 1 , Matteo Maffei
- Cited by 2 (0 self) – Add To MetaCart
-
Principles for Entity Authentication
- Principles for Entity Authentication Michele Bugliesi, Riccardo Focardi, Matteo Maffei
- Cited by 6 (5 self) – Add To MetaCart
-
unknown title
- ???, Matteo Maffei?? Abstract. This paper presents a novel approach for concisely abstracting authentication
- Add To MetaCart

