publications

Publications in reversed chronological order.

2025

  1. EUROCRYPT ’25

    Madrid

    SNARKs for Virtual Machines are Non-Malleable
    Matteo Campanelli, Antonio Faonio, and Luigi Russo
    In International Conference on the Theory and Applications of Cryptographic Techniques, May 2025
    PDF
    2 Google Scholar citations

2024

  1. Preprint
    Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle
    Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, and Luisa Siniscalchi
    Oct 2024
    PDF
    1 Google Scholar citations
  2. CCS ’24

    Salt Lake City

    Real-world Universal zkSNARKs are non-malleable
    Antonio Faonio, Dario Fiore, and Luigi Russo
    In ACM Conference on Computer and Communications Security, Oct 2024
    PDF Video
    3 Google Scholar citations

2023

  1. TCC ’23

    Taipei

    From polynomial IOP and commitments to non-malleable zkSNARKs
    Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, and Michal Zajac
    In Theory of Cryptography Conference, Oct 2023
    PDF Video
    10 Google Scholar citations
  2. PKC ’23

    Atlanta

    Almost tightly-secure re-randomizable and replayable CCA-secure public key encryption
    Antonio Faonio, Dennis Hofheinz, and Luigi Russo
    In IACR International Conference on Public-Key Cryptography, Apr 2023
    PDF Video
    2 Google Scholar citations

2022

  1. SCN ’22

    Amalfi

    Mix-nets from re-randomizable and replayable CCA-secure public-key encryption
    Antonio Faonio, and Luigi Russo
    In International Conference on Security and Cryptography for Networks, Sep 2022
    PDF
    5 Google Scholar citations

2021

  1. Indocrypt ’21

    Jaipur

    Identity-based matchmaking encryption without random oracles
    Danilo Francati, Alessio Guidi, Luigi Russo, and Daniele Venturi
    In International Conference on Cryptology in India, Sep 2021
    PDF Video
    37 Google Scholar citations