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


  • 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).