Recent Drafts

  1. Differential Privacy by Typing for Security Protocols
    Fabienne Eigner and Matteo Maffei
    Submitted. (pdf)
  2. Linear Privacy-Aware Proof-Carrying Authorization
    Matteo Maffei, Kim Pecina, and Manuel Reinert
    Submitted. (pdf)
  3. The Android Monitor - Real-time policy enforcement for third-party applications
    Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, and Philipp von Styp-Rekowsky
    Submitted. (pdf)
  4. Logical Foundations of Secure Resource Management
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei
    Submitted. (pdf)
  5. Symbolically Reasoning about Transformable Zero-Knowledge Proofs
    Michael Backes, Fabian Bendun, Matteo Maffei, and Esfandiar Mohammadi
    Submitted. (pdf)
  6. Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations (journal version)
    Michael Backes, Catalin Hritcu, and Matteo Maffei
    Submitted. (pdf)

Publications

  1. ObliviAd: Provably Secure and Practical Online Behavioral Advertising
    Michael Backes, Aniket Kate, Matteo Maffei, and Kim Pecina.
    To appear in Proceedings of 33rd IEEE Symposium on Security and Privacy (S&P 2012). (pdf)
  2. Automated Synthesis of Privacy-Preserving Distributed Applications
    Michael Backes, Matteo Maffei, and Kim Pecina.
    To appear in Proceedings of 19th Annual Network & Distributed System Security Symposium (NDSS 2012). (pdf)
  3. Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei.
    In Proceedings of 24th IEEE Symposium on Computer Security Foundations (CSF 2011), pages 83-98, IEEE, ISBN 978-0-7695-4365-9, 2011. (pdf)
  4. Privacy-aware Proof-Carrying Authorization
    Matteo Maffei and Kim Pecina.
    In Proceedings of ACM SIGPLAN Fifth Workshop on Programming Languages and Analysis for Security (PLAS 2011). (pdf)
  5. Brief Announcement: Securing Social Networks
    Michael Backes, Matteo Maffei, and Kim Pecina.
    In Proceedings of 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2011), pages 341-342, IEEE, ISBN 978-1-4503-0719-2. (pdf).
  6. Types for Security Protocols
    Riccardo Focardi and Matteo Maffei.
    In Formal Models and Techniques for Analyzing Security Protocols, pages 143-181, volume 5, chapter 7. Cryptology and Information Security Series, IOS Press, ISBN 978-1-60750-713-0, 2011. (pdf)
  7. Union and Intersection Types for Secure Implementations
    Michael Backes, Catalin Hritcu, and Matteo Maffei.
    In Proceedings of Theory of Security and Applications (TOSCA'11), LNCS, volume 6993, Springer-Verlag, pages 1-28, ISBN 978-3-642-27375-9. (pdf)
  8. G2C: Cryptographic Protocols From Goal-Driven Specifications
    Michael Backes, Matteo Maffei, Kim Pecina, and Raphael Reischuk.
    In Proceedings of Theory of Security and Applications (TOSCA'11), LNCS, volume 6993, Springer-Verlag, pages 55-77, ISBN 978-3-642-27375-9. (pdf)
  9. A Security API for Distributed Social Networks
    Michael Backes, Matteo Maffei, and Kim Pecina.
    In Proceedings of 18th Annual Network & Distributed System Security Symposium (NDSS 2011), pages 35-52, Internet Society, ISBN 1-891562-32-0, 2011. (pdf)
  10. Computationally Sound Abstraction and Verification of Secure Multi-party Computations
    Michael Backes, Matteo Maffei, and Esfandiar Mohammadi.
    In Proceedings of 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, volume 8, LIPIcs, pages 352-363, ISBN 978-3-939897-23-1. Conference version (pdf) Long version (pdf).
  11. Computationally Sound Verification of Source Code
    Michael Backes, Matteo Maffei, and Dominique Unruh.
    17th ACM Conference on Computer and Communications Security (CCS 2010), ACM, pages 387-398, ISBN 978-1-4503-0244-9. Conference version (pdf). Long version (pdf).
  12. Ubiqitous Verification of Ubiquitous Systems
    Reinhard Wilhelm and Matteo Maffei.
    In Proceedings of 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), LNCS, volume 6399, Springer-Verlag, pages 47-58, ISBN 978-3-642-16255-8. (pdf)
  13. Brief Announcement: Anonymity and Trust in Distributed Systems
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    In Proceedings of Twenty-Ninth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2010), ACM, pages 237-238, ISBN 978-1-60558-888-9. (pdf)
  14. Anonymous Webs of Trust
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    In Proceedings of 10th Privacy Enhancing Technologies Symposium (PETS 2010), LNCS, volume 6205, Springer-Verlag, pages 130-148, ISBN 978-3-642-14526-1. (pdf)
  15. Design and Verification of Anonymous Trust Protocols
    Michael Backes and Matteo Maffei.
    In proceedings of 17th International Workshop on Security Protocols, LNCS, 2009. (pdf)
  16. Anonymity and Censorship Resistance in Unstructured Overlay Networks
    Michael Backes, Marek Hamerlick, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, and Gerhard Weikum.
    In Proceedings of 17th International Conference on Cooperative Information Systems (CoopIS 2009), LNCS, volume 5870, Springer-Verlag, pages 147-164, ISBN 978-3-642-05147-0. (pdf)
  17. Types for Security Protocols (abstract of invited talk)
    Riccardo Focardi and Matteo Maffei.
    In Proceedings of 7th International Workshop on Security Issues in Concurrency (Secco '09), EPTCS, volume 7. (pdf)
  18. Achieving Security Despite Compromise Using Zero-Knowledge
    Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei.
    In Proceedings of 22nd IEEE Symposium on Computer Security Foundations (CSF 2009), IEEE, pages 308-323, ISBN 978-0-7695-3712-2. (pdf)
  19. Type-checking Zero-knowledge
    Michael Backes, Catalin Hritcu, and Matteo Maffei.
    In Proceedings of 15th ACM Conference on Computer and Communications Security (CCS 2008), ACM, pages 357-370, ISBN 978-1-59593-810-7. Long version (pdf)
  20. The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper)
    Michael Backes, Stefan Lorenz, Matteo Maffei, and Kim Pecina.
    In Proceedings of 20th International Conference on Computer Aided Verification (CAV 2008), LNCS, volume 5123, Springer-Verlag, pages 419-422, ISBN 978-3-540-70543-7. (pdf)
  21. Anonymous and Censorship-resistant Content-sharing in Unstructured Overlays (Brief Announcement)
    Michael Backes, Marek Hamerlick, Alessandro Linari, Matteo Maffei, Christos Tryphonopoulos, and Gerhard Weikum.
    In Proceedings of 27th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2008), ACM, page 429, ISBN 978-1-59593-989-0. (pdf)
  22. Automated Verification of Electronic Voting Protocols in the Applied Pi-calculus
    Michael Backes, Catalin Hritcu, and Matteo Maffei.
    In Proceedings of 21st IEEE Symposium on Computer Security Foundations (CSF 2008), IEEE, pages 195-209,ISBN 978-0-7695-3183-3. (pdf)
  23. Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
    Michael Backes, Matteo Maffei and Dominique Unruh.
    In Proceedings of IEEE Symposium on Security and Privacy 2008, IEEE, pages 202-215, ISBN 978-0-7695-3168-7. (pdf).
  24. A Calculus of Challenges and Responses
    Michael Backes, Agostino Cortesi, Riccardo Focardi and Matteo Maffei.
    In Proceedings of 5th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2007), ACM, pages 51-60, ISBN 978-1-59593-887. (pdf)
  25. Causality-based Abstraction of Multiplicity in Cryptographic Protocols
    Michael Backes, Agostino Cortesi and Matteo Maffei.
    In Proceedings of 20th IEEE Computer Security Foundations Symposium (CSF-20 2007), pages 355-369, ISBN 0-7695-2819-8. (pdf)
  26. Dynamic Types for Authentication
    Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
    In Journal of Computer Security, volume 15, number 6, pages 563-617, 2007. (pdf)
  27. Analysis of Typed Analyses of Authentication Protocols
    Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
    In Proceedings of 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), pages 112-125, ISBN 0-7695-2340-4. (pdf)
  28. Inferring Authentication Tags
    Riccardo Focardi, Matteo Maffei and Francesco Placella.
    In proceedings of 2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS 2005), ACM Digital Library, pages 42-49, ISBN 1-58113-980-2. (pdf)
  29. Authenticity by Tagging and Typing
    Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
    In proceedings of 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2004), ACM, pages 1-12, ISBN 1-58113-971-3. (pdf)
  30. Tags for Multi-Protocol Authentication
    Matteo Maffei.
    In proceedings of 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SECCO 2004), London, United Kingdom, Electronic Notes in Theoretical Computer Science, Elsevier, volume 128, pages 55-63, 2004. (pdf)
  31. p-spi calculus at work: Authentication Case Studies
    Riccardo Focardi and Matteo Maffei.
    In proceedings of Mefisto Project, Formal Methods for Security and Time, Electronic Notes in Theoretical Computer Science, Elsevier, volume 99, pages 267-293, 2004.
  32. Compositional Analysis of Authentication Protocols
    Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
    In proceedings of the European Symposium on Programming (ESOP 2004), Barcelona, Spain, March 2004, LNCS 2986, Springer-Verlag, pg 140-154. (pdf)
  33. Principles for Entity Authentication
    Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
    In proceedings of Andrei Ershov Fifth International Conference PERSPECTIVES OF SYSTEM INFORMATICS (PSI 2003), Novosibirsk, Siberia, Russia, July 2003, LNCS 2890, Springer-Verlag, pg 294-307. (pdf)

Peer-Reviewed Informal Publications

  1. Computationally Sound Abstraction and Verification of Secure Multi-party Computations
    Michael Backes, Matteo Maffei, and Esfandiar Mohammadi.
    In proceedings of the 7th Workshop on Formal and Computational Cryptography (FCC 2011).
  2. Type-checking Implementations of Protocols Based on Zero-knowledge Proofs - Work in Progress
    Michael Backes, Catalin Hritcu, and Matteo Maffei.
    In proceedings of the 8th Workshop on Foundations of Computer Security (FCS'09).
  3. Achieving Security Despite Compromise Using Zero-Knowledge
    Michael Backes, Martin Grochulla, Catalin Hritcu, and Matteo Maffei.
    In proceedings of 9th International Workshop on Issues in the Theory of Security (WITS'09). (pdf)
  4. Computational Soundness of RCF Implementations
    Michael Backes, Matteo Maffei, and Dominique Unruh.
    In proceedings of the 7th Workshop on Formal and Computational Cryptography (FCC 2009).
  5. Type-checking Zero-knowledge
    Michael Backes, Catalin Hritcu, and Matteo Maffei.
    In proceedings of 8th International Workshop on Issues in the Theory of Security (WITS'08). (pdf)
  6. Abstracting Multiplicity in Cryptographic Protocols
    Michael Backes, Agostino Cortesi and Matteo Maffei.
    In proceedings of 7th International Workshop on Issues in the Theory of Security (WITS'07). (pdf)
  7. A Calculus of Challenges and Responses
    Michael Backes, Agostino Cortesi, Riccardo Focardi and Matteo Maffei.
    In proceedings of 7th International Workshop on Issues in the Theory of Security (WITS'07). (pdf)

Ph.D. Thesis

  • Dynamic Typing for Cryptographic Protocols
    Matteo Maffei
    Advisor: Prof. Riccardo Focardi
    Ca' Foscari University of Venice, March 2006. (pdf)