I am an Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. I joined IMDEA Software in 2013 after holding postdoctoral positions at Max Planck Institute for Software Systems (Germany), New York University (USA), and École Normale Supérieure (France).
In March 2010, I received a Ph.D. in Computer Science from University of Catania (Italy) under the supervision of Dario Catalano. During my PhD I was also a visiting student at New York University with Yevgeniy Dodis, and IBM Research T.J. Watson with Rosario Gennaro. See my CV for more details.
My research interests are in Cryptography and Security. In particular, my work focuses on the design of efficient and provably-secure cryptographic primitives and protocols. Some of the topics I work on include secure delegation of data and computation to the Cloud, homomorphic authenticators, zero-knowledge proof systems, and foundations of cryptography. See here for the full list of my publications.
I am looking for talented, highly motivated students and postdocs who are interested in the area of Cryptography. If you are interested in working with me, please do not hesitate to contact me via email. * Currently open positions *
- Our LegoSNARK library has been publicly released!
- Our work ADSNARK received the CNIL-INRIA 2016 award for privacy protection!
- Our Homomorphic Authentication Library (HAL) has been publicly released on GitHub!
Current Students and Postdocs:
- Anais Querol Cruz (PhD student, October 2018 – present; funded by “la Caixa Foundation”)
- Dimitris Kolonelos (PhD student, February 2019 – present)
- Hadrian Rodriguez (Research programmer, March 2020 – present)
- Recent postdocs and graduated students:
- Antonio Faonio (Postdoc, January 2017 – June 2020)
- Matteo Campanelli (Postdoc, February 2018 – July 2020)
- Miguel Ambrona (Postdoc, January 2019 – May 2019)
- Luca Nizzardo (PhD student, 2014 – May 2018, now Research scientist @ Protocol Labs)
- Elena Pagnin (PhD student, external co-supervisor, with A. Sabelfeld @ Chalmers University of Technology, 2015 – September 2018, now postdoc @ Aarhus University)
- Anca Nitulescu (PhD student, external co-supervisor, with M. Abdalla and D. Pointcheval @ ENS Paris, 2015 – 2019, now Lead Cryptographer @ Cosmian)
- Spring 2018: Foundations of Cryptography @ UPM
- Fall 2019: Computer Security @ UPM / IMDEA Software Institute, Madrid
- MICINN projects “Europa Excelencia” (2019-2021)
- MICINN project SCUM (2019-2022)
- Protocol Labs
- NEC Labs Europe
Program Committees and Editorial Boards:
- Current/Upcoming PCs: PKC 2020
- Editorial Boards: IET Information Security, International Journal of Applied Cryptography
- ACM CCS 2019, PKC 2019, ACM CCS 2018, UCC Cloud Challenge 2018, CRYPTO 2018, Financial Crypto 2018, BalkancryptSec 2018, ASIACRYPT 2017, ACM Cloud Computing Security Workshop (CCSW) 2017, IEEE EuroS&P 2017, PKC 2017, Financial Crypto 2017, WAHC 2017.
- LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs @ ICIAM 2019, Valencia, Spain, July 2019.
- Computing Securely on Untrusted Machines @ University of Verona, Italy, May 2019.
- LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs @ 2nd ZKProof Workshop, Berkeley, California, US, April 2019.
- Homomorphic Authentication for Computing Securely on Untrusted Machines @ Paris Crypto Day, Paris, France, March 2019.
- Matrioska: A Compiler for Multi-Key Homomorphic Signatures @ SCN 2018, Amalfi, Italy. September 2018.
- Zero-Knowledge Proofs and Applications to IoT and Blockchains @ B4Things, Madrid, Spain. April 2018.
- Homomorphic Authentication for Computing Securely on Untrusted Machines, Keynote @ NordSec 2017, Tartu, Estonia, November 2017.
- Labeled Homomorphic Encryption @ ESORICS 2017, Oslo, Norway, September 2017.
- On the (In)Security of SNARKs in the Presence of Oracles @ IV Congreso de Jóvenes Investigadores de la Real Sociedad Matemática Española, Valencia, Spain. September 2017.
- ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data @ Hanyang University, Seoul, South Korea. July 2017
- Computing Quadratic Functions on Encrypted Data @ Mathcrypt 2017, Daejeon, South Korea. June 30 2017.
- Unilaterally-Authenticated Key Exchange @ FC 2017, Malta. April 2017
- On the (In)Security of SNARKs in the Presence of Oracles @ II CryptoAction Symposium, Amsterdam, The Netherlands. March 2017.