Matteo Campanelli

70 papers A* 4A 2C 1Misc 3Journal 40Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Practical Subvector Commitments with Optimal Opening Complexity.
IACR Cryptol. ePrint Arch.
Matteo Campanelli
2026 J jnl
Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference.
CoRR
Pranay Anchuri, Matteo Campanelli, Paul Cesaretti, Rosario Gennaro, Tushar M. Jois, Hasan S. Kayman, Tugce Ozdemir
2025 J jnl
Natively Compatible Super-Efficient Lookup Arguments and How to Apply Them.
J. Cryptol.
Matteo Campanelli, Dario Fiore, Rosario Gennaro
2025 J jnl
On Composing AGM-Secure Functionalities with Cryptographic Proofs: Applications to Unbounded-Depth IVC and More.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Mahak Pancholi
2025 J jnl
On the Power of Polynomial Preprocessing: Proving Computations in Sublinear Time, and More.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mario Carrillo, Ignacio Cascudo, Dario Fiore, Danilo Francati, Rosario Gennaro
2025 J jnl
On the Simulation-Extractability of Proof-Carrying Data.
IACR Cryptol. ePrint Arch.
Behzad Abdolmaleki, Matteo Campanelli, Quang Dao, Hamidreza Khoshakhlagh
2025 — conf
SNARKs for Virtual Machines Are Non-malleable.
EUROCRYPT (4)
Matteo Campanelli, Antonio Faonio, Luigi Russo
2025 A conf
Short Paper: Curve Forests - Transparent Zero-Knowledge Set Membership with Batching and Strong Security.
FC
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2025 J jnl
SoK: Lookup Table Arguments.
IACR Cryptol. ePrint Arch.
Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli, Dario Fiore
2025 — conf
Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle.
CRYPTO (7)
Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, Luisa Siniscalchi
2025 J jnl
When Can We Incrementally Prove Computations of Arbitrary Depth?
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Mahak Pancholi
2025 J jnl
qedb: Expressive and Modular Verifiable Databases (without SNARKs).
IACR Cryptol. ePrint Arch.
Vincenzo Botta, Simone Bottoni, Matteo Campanelli, Emanuele Ragnoli, Alberto Trombetta
2024 — conf
Advancing Scalability in Decentralized Storage: A Novel Approach to Proof-of-Replication via Polynomial Evaluation.
CRYPTO (2)
Giuseppe Ateniese, Foteini Baldimtsi, Matteo Campanelli, Danilo Francati, Ioanna Karantaidou
2024 J jnl
Curve Forests: Transparent Zero-Knowledge Set Membership with Batching and Strong Security.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2024 J jnl
Fiat-Shamir Goes Rational.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Agni Datta
2024 J jnl
Fully-Succinct Arguments over the Integers from First Principles.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2024 J jnl
How to Make Rational Arguments Practical and Extractable.
IACR Commun. Cryptol.
Matteo Campanelli, Chaya Ganesh, Rosario Gennaro
2024 — conf
Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees.
Public Key Cryptography (2)
Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
2024 J jnl
Natively Compatible Super-Efficient Lookup Arguments and How to Apply Them.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Rosario Gennaro
2024 J jnl
SNARKs for Virtual Machines are Non-Malleable.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Antonio Faonio, Luigi Russo
2024 J jnl
Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle.
IACR Cryptol. ePrint Arch.
Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, Luisa Siniscalchi
2024 — conf
Witness Encryption for Succinct Functional Commitments and Applications.
Public Key Cryptography (2)
Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
2023 J jnl
Advancing Scalability in Decentralized Storage: A Novel Approach to Proof-of-Replication via Polynomial Evaluation.
IACR Cryptol. ePrint Arch.
Giuseppe Ateniese, Foteini Baldimtsi, Matteo Campanelli, Danilo Francati, Ioanna Karantaidou
2023 A* conf
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
USENIX Security Symposium
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp
2023 J jnl
How to Make Rational Arguments Practical and Extractable.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Chaya Ganesh, Rosario Gennaro
2023 — conf
Impossibilities in Succinct Arguments: Black-Box Extraction and More.
AFRICACRYPT
Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim
2023 J jnl
Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
2023 — conf
Structure-Preserving Compilers from New Notions of Obfuscations.
Public Key Cryptography (2)
Matteo Campanelli, Danilo Francati, Claudio Orlandi
2023 J jnl
Testudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali, Justin Thaler
2023 — conf
Witness-Authenticated Key Exchange, Revisited: Extensions to Groups, Improved Models, Simpler Constructions.
FC (1)
Matteo Campanelli, Rosario Gennaro, Kelsey Melissaris, Luca Nizzardo
2023 J jnl
Zero-knowledge proofs for set membership: efficient, succinct, modular.
Des. Codes Cryptogr.
Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
2023 — conf
sfTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup.
LATINCRYPT
Matteo Campanelli, Nicolas Gailly, Rosario Gennaro, Philipp Jovanovic, Mara Mihali, Justin Thaler
2022 J jnl
Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2022 — conf
ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines.
Public Key Cryptography (1)
Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi
2022 — conf
Encryption to the Future - A Paradigm for Sending Secret Messages to Future (Anonymous) Committees.
ASIACRYPT (3)
Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders Konring, Jesper Buus Nielsen
2022 J jnl
Impossibilities in Succinct Arguments: Black-box Extraction and More.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Chaya Ganesh, Hamidreza Khoshakhlagh, Janno Siim
2022 — conf
Linear-Map Vector Commitments and Their Practical Applications.
ASIACRYPT (4)
Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico
2022 J jnl
Linear-map Vector Commitments and their Practical Applications.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Anca Nitulescu, Carla Ràfols, Alexandros Zacharakis, Arantxa Zapico
2022 J jnl
Structure-Preserving Compilers from New Notions of Obfuscations.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Danilo Francati, Claudio Orlandi
2022 A* conf
Succinct Zero-Knowledge Batch Proofs for Set Accumulators.
CCS
Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh
2022 A conf
Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions.
AsiaCCS
Matteo Campanelli, Mathias Hall-Andersen
2022 J jnl
Witness Encryption for Succinct Functional Commitments and Applications.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
2022 J jnl
Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Rosario Gennaro, Kelsey Melissaris, Luca Nizzardo
2022 Misc conf
Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers.
SCN
Matteo Campanelli, Felix Engelmann, Claudio Orlandi
2021 J jnl
ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines.
IACR Cryptol. ePrint Arch.
Diego F. Aranha, Emil Madsen Bennedsen, Matteo Campanelli, Chaya Ganesh, Claudio Orlandi, Akira Takahashi
2021 J jnl
Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders K. Kristensen, Jesper Buus Nielsen
2021 — conf
Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions.
ASIACRYPT (3)
Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
2021 J jnl
Succinct Publicly-Certifiable Proofs (or: Can a Blockchain Verify a Designated-Verifier Proof?).
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Hamidreza Khoshakhlagh
2021 Misc conf
Succinct Publicly-Certifiable Proofs - Or, Can a Blockchain Verify a Designated-Verifier Proof?
INDOCRYPT
Matteo Campanelli, Hamidreza Khoshakhlagh
2021 J jnl
Succinct Zero-Knowledge Batch Proofs for Set Accumulators.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh
2021 J jnl
Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Mathias Hall-Andersen
2021 — conf
Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular.
Financial Cryptography (1)
Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
2021 J jnl
Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Felix Engelmann, Claudio Orlandi
2020 — conf
Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage.
ASIACRYPT (2)
Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo
2020 J jnl
Lunar: a Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
2020 J jnl
Vector Commitment Techniques and Applications to Verifiable Decentralized Storage.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo
2019 A* conf
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.
CCS
Matteo Campanelli, Dario Fiore, Anaïs Querol
2019 J jnl
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Dario Fiore, Anaïs Querol
2019 J jnl
Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular.
IACR Cryptol. ePrint Arch.
Daniel Benarroch, Matteo Campanelli, Dario Fiore, Dimitris Kolonelos
2018 — conf
Fine-Grained Secure Computation.
TCC (2)
Matteo Campanelli, Rosario Gennaro
2018 J jnl
Fine-Grained Secure Computation.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Rosario Gennaro
2018 — —
Rationality and Efficient Verifiable Computation.
Matteo Campanelli
2017 — conf
Efficient Rational Proofs for Space Bounded Computations.
GameSec
Matteo Campanelli, Rosario Gennaro
2017 — conf
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things.
CPS-SPC@CCS
Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist
2017 A* conf
Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services.
CCS
Matteo Campanelli, Rosario Gennaro, Steven Goldfeder, Luca Nizzardo
2017 J jnl
Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services.
IACR Cryptol. ePrint Arch.
Matteo Campanelli, Rosario Gennaro, Steven Goldfeder, Luca Nizzardo
2015 — conf
Sequentially Composable Rational Proofs.
GameSec
Matteo Campanelli, Rosario Gennaro
2012 J jnl
Pattern Matching with Swaps in Practice.
Int. J. Found. Comput. Sci.
Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta
2009 C conf
A New Algorithm for Efficient Pattern Matching with Swaps.
IWOCA
Matteo Campanelli, Domenico Cantone, Simone Faro
2009 Misc conf
An Efficient Algorithm for Approximate Pattern Matching with Swaps.
PSC
Matteo Campanelli, Domenico Cantone, Simone Faro, Emanuele Giaquinta