2025 CRYPTO ’25 Santa Barbara Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, and Luisa Siniscalchi PDF EUROCRYPT ’25 Madrid SNARKs for Virtual Machines are Non-Malleable Matteo Campanelli, Antonio Faonio, and Luigi Russo PDF Talk 2024 CCS ’24 Salt Lake City Real-world Universal zkSNARKs are non-malleable Antonio Faonio, Dario Fiore, and Luigi Russo PDF Talk 2023 TCC ’23 Taipei From polynomial IOP and commitments to non-malleable zkSNARKs Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, and Michal Zajac PDF Talk PKC ’23 Atlanta Almost tightly-secure re-randomizable and replayable CCA-secure public key encryption Antonio Faonio, Dennis Hofheinz, and Luigi Russo PDF Talk 2022 SCN ’22 Amalfi Mix-nets from re-randomizable and replayable CCA-secure public-key encryption Antonio Faonio, and Luigi Russo PDF 2021 Indocrypt ’21 Jaipur Identity-based matchmaking encryption without random oracles Danilo Francati, Alessio Guidi, Luigi Russo, and Daniele Venturi PDF Talk