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).
I received a Ph.D. in Computer Science from University of Catania (Italy) in March 2010, supervised by Dario Catalano. During my Ph.D. 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 on theoretical and practical aspects of Cryptography and its applications to Security & Privacy. My research especially focuses on advancing the efficiency of cryptographic protocols.
Some of the topics I work on include: secure delegation of data and computation, computation on encrypted data, commitment schemes, (zero-knowledge) proof systems, homomorphic authentication, and foundations of cryptography.
The full list of my publications (also on Google Scholar, DBLP).
- Hamza Abusalah (Postdoc, May’22–present)
- Daniele Cozzo (Postdoc, Oct’22–present)
- Dimitris Kolonelos (PhD student, Feb’19-present)
- David Balbás (PhD student, Oct’21-present)
- Gaspard Anthoine (PhD student, Sep’22-present)
- Damien Robissout (Research programmer, Jan’22-present)
- Gennaro Avitabile (Visiting PhD student, Jan’22-present)
I am looking for talented, highly motivated students and postdocs interested in Cryptography. If you are interested to work with me, especially on exciting topics such as zero-knowledge proofs, zkSNARKs, computation on encrypted data, please do not hesitate to get in touch with me.
Projects / Funding
- ERC Consolidator Grant PICOCRYPT (2021-2026)
- Nomadic Labs & Tezos Foundation “Cryptographic Primitives for Randomness Generation and Privacy” (2020-2022, co-PI with Ignacio Cascudo)
- Spanish Ministry of Science “RETOS Investigación” SCUM (2019-2022, co-PI with Juan Caballero)
- Spanish Ministry of Science “Red de Investigación en Ciberseguridad y Privacidad” (2020-2022, partner)
- Protocol Labs RfP on Vector Commitments (2022, with FAU)
- NEC Laboratories Europe
Program Committees and Editorial Boards
- Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams @ ACM CCS 2022, November 10, 2022.
- Efficient and Universally Composable Single Secret Leader Election from Pairings @ ConsensusDay22 (co-located with ACM CCS’22), November 7, 2022.
- Vector Commitments: From Theory to Practice, and Back Again @ RECSI 2022, October 2022.
- On the impossibility of algebraic vector commitments in pairing-free groups @ Aarhus University, June 2022.
- A journey in vector commitments @ Vector Commitment Research Day, March 2022.
- Succinct Zero-Knowledge Batch Proofs for Set Accumulators @ Nomadic Labs research seminars, February 2022.
- A journey in vector commitments. Keynote @ IWSEC 2021, September 2021.
- Cryptography for Privacy and Integrity of Computation on Untrusted Machines @ “Summer seminars on cybersecurity”, Department of Computer, Control and Management Engineering of Sapienza University of Rome, June 2021.
A summary of past research activities