Andrea Cerulli


Email: andrea.cerulli.13 at ucl.ac.uk

Office: MPEB 6.22
Computer Science Department
University College London
Gower Street
London WC1E 6BT
United Kingdom

I am a Doctoral Researcher in the Information Security Group at University College London (Computer Science Department). My area of research is cryptography and my supervisors are Professor Jens Groth and Dr. Emiliano De Cristofaro.

Before joining UCL, I received an MSc in Mathematics for Cryptography and Communication from Royal Holloway, University of London in 2013. In 2012, I received a BSc in Mathematics from the University of Turin.

Research Interests

I am interested in the development and deployment of cryptographic protocols. I am currently working on building efficient zero-knowledge proofs and arguments. My research interests includes lattice-based cryptography and multi-party computation protocols.

Publications

  • Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits
    Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafael Del Pino, Jens Groth and Vadim Lyubashevsky
    Crypto 2018
    [Full Paper]

  • Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution
    Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen and Mary Maller
    [Slides], [Full Paper]

  • Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability
    Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi and Sune K. Jakobsen
    Asiacrypt 2017
    [Slides], [Full Paper]

  • A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
    Vasilios Mavroudis, Andrea Cerulli, Petr Svenda, Dan Cvrcek, Dusan Klinec and George Danezis
    ACM CCS 2017
    [Project Page], [Full Paper]

  • Efficient Zero-Knowledge Proof Systems
    Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos and Jens Groth
    Foundations of Security Analysis and Design VIII
    [Chapter]

  • Foundations of Fully Dynamic Group Signatures
    Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi and Jens Groth
    ACNS 2016
    [Slides], [Full Paper]

  • Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
    Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth and Christophe Petit
    EUROCRYPT 2016
    [Slides], [Full Paper], [Code]

  • Short Accountable Ring Signatures Based on DDH
    Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth and Christophe Petit
    ESORICS 2015
    [Slides], [Full Paper]

Teaching


Kudos to Vasilios for the template: Plain Academic