publications

Publications in reversed chronological order.

2024

  1. Preprint
    SNARKs for Virtual Machines are Non-Malleable
    Matteo Campanelli, Antonio Faonio, and Luigi Russo
    Oct 2024
    PDF
  2. 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
  3. 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
    2 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
    9 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
    4 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
    31 Google Scholar citations