Research Interests

  • Formal analysis of security and privacy properties in distributed systems (cryptographic protocols, web applications, ...)
  • Formal analysis of mobile apps
  • Program verification (type systems, abstract interpretation, SMT solving, ...)
  • Security and privacy by design
  • Privacy-enhancing technologies (ORAM, SMPC, zero-knowledge proofs, ...)
  • Privacy in cloud applications

Highlights

  • A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
    Stefano Calzavara, Ilya Grishchenko, Adrien Koutsos, and Matteo Maffei
    In Proceedings of 30th Computer Security Foundations Symposium (CSF 2017). To appear.
  • Maliciously Secure Multi-Client ORAM
    Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schroeder
    In Proceedings of the 15th International Conference on Applied Cryptography and Network Security (ACNS 2017). To appear.
  • SilentWhispers: Enforcing Security and Privacy in Decentralized Credit Networks
    Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
    In Proceedings of 2017 Network and Distributed System Security Symposium (NDSS 2017)
  • Micro-Policies for Web Session Security
    Stefano Calzavara, Riccardo Focardi, Niklas Grimm, and Matteo Maffei
    29th IEEE Computer Security Foundations Symposium (CSF 2016). (pdf).
  • HornDroid: Practical and Sound Security Static Analysis of Android Applications by SMT Solving
    Stefano Calzavara, Ilya Grishchenko, and Matteo Maffei
    1st IEEE European Symposium on Security and Privacy (EuroS&P 2016). (pdf) [Website]
  • Symbolic Malleable Zero-knowledge Proofs
    Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi and Kim Pecina
    28th IEEE Symposium on Computer Security Foundations (CSF 2015). Long version (pdf).
  • Privacy and Access Control for Outsourced Personal Records
    Matteo Maffei, Giulio Malavolta, Manuel Reinert, and Dominique Schröder
    36th IEEE Symposium on Security and Privacy (S&P 2015) (pdf).
  • Type-Based Verification of Electronic Voting Protocols
    Veronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei and Cyrille Wiedling
    4th Conference on Principles of Security and Trust (POST 2015) (pdf).
  • Privacy Preserving Payments in Credit Networks
    Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Kim Pecina
    2015 Network and Distributed System Security Symposium (NDSS 2015) (pdf).
  • Affine Refinement Types for Secure Distributed Programming
    Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, and Matteo Maffei
    ACM Transactions on Programming Languages and Systems (TOPLAS), 2015. (pdf).