Dario Fiore

IMDEA Software Institute

Research Publications

Below is the full list of my publications with pointers to the papers and related material (full version, implementations, etc).

I have so far co-authored 69 publications in conference proceedings, and 19 papers in journals. As it is customary in the cryptography community, the order of authors in most of my papers is alphabetical and not by contribution, and we publish mostly in conferences.

Papers in conference proceedings

2025

  1. Gaspard Anthoine, Daniele Cozzo, and Dario Fiore
    Verification-efficient Homomorphic Signatures for Verifiable Computation over Data Streams
    Financial Cryptography 2025
    [Full version]
  2. Javier Gomez-Martinez, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez, and Dario Fiore
    Algebraic Zero Knowledge Contingent Payment
    ACNS 2025
    [Full version]

2024

  1. Antonio Faonio, Dario Fiore, and Luigi Russo
    Real-world Universal zkSNARKs are non-malleable
    ACM CCS 2024
    [DOI] [Full version]
  2. Gaspard Anthoine, David Balbás, and Dario Fiore
    Fully-Succinct Multi-Key Homomorphic Signatures from Standard Assumptions
    CRYPTO 2024
    [DOI] [Full version]
  3. Matteo Campanelli, Dario Fiore, and Hamidreza Khoshakhlagh
    Witness Encryption for Succinct Functional Commitments and Applications
    PKC 2024
    [DOI] [Full version]
  4. Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, and Helger Lipmaa
    Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees
    PKC 2024
    [DOI] [Full version]

2023

  1. Dario Fiore, Dimitris Kolonelos, and Paola Perthuis
    Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces
    ASIACRYPT 2023
    [DOI] [Full version]
  2. Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, and Michal Zajak
    From Polynomial IOP and Commitments to Non-malleable zkSNARKs
    TCC 2023
    [DOI] [Full version]
  3. David Balbás, Dario Catalano, Dario Fiore, and Russell W. F. Lai
    Chainable Functional Commitments for Unbounded-Depth Circuits
    TCC 2023
    [DOI] [Full version]
  4. David Balbás, Dario Fiore, Maria Isabel Gonzalez Vasco, Damien Robissout, and Claudio Soriente
    Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing
    ACM CCS 2023
    [DOI] [Full version] [Implementation]
  5. Gennaro Avitabile, Vincenzo Botta, and Dario Fiore
    Extendable Threshold Ring Signatures with Enhanced Anonymity
    PKC 2023
    [DOI] [Full version]
  6. Dario Catalano, Dario Fiore, and Emanuele Giunta
    Efficient and Universally Composable Single Secret Leader Election from Pairings
    PKC 2023
    [DOI] [Full version]

2022

  1. Dario Catalano, Dario Fiore, and Ida Tucker
    Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures
    ASIACRYPT 2022
    [DOI] [Full version]
  2. Dario Fiore, and Ida Tucker
    Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams
    ACM CCS 2022
    [DOI] [Full version] [Implementation]
  3. Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, and Hyunok Oh
    Succinct Zero-Knowledge Batch Proofs for Set Accumulators
    ACM CCS 2022
    [DOI] [Full version] [Implementation]
  4. Dario Catalano, Dario Fiore, Rosario Gennaro, and Emanuele Giunta
    On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups
    TCC 2022
    [DOI] [Full version]
  5. Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, and Ida Tucker
    Ring Signatures with User-Controlled Linkability
    ESORICS 2022
    [DOI] [Full version]
  6. Hien Chu, Dario Fiore, Dimitris Kolonelos, and Dominique Schröder
    Inner Product Functional Commitments with Constant-Size Public Parameters and Openings
    SCN 2022
    [DOI] [Full version]
  7. Dario Catalano, Dario Fiore, and Emanuele Giunta
    Adaptively Secure Single Secret Leader Election from DDH
    ACM Symposium on Principles of Distributed Computing, PODC 2022
    [DOI] [Full version]
  8. Cecilia Boschini, Dario Fiore, and Elena Pagnin
    Progressive and Efficient Verification for Digital Signatures
    ACNS 2022
    [DOI] [Full version]
  9. Antonio Faonio, Dario Fiore, Luca Nizzardo, and Claudio Soriente
    Subversion-Resilient Enhanced Privacy ID
    CT-RSA 2022
    [DOI] [Full version]

2021

  1. Miguel Ambrona, Dario Fiore, and Claudio Soriente
    Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions
    PoPETS 2021
    [DOI]
  2. Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaı̈s Querol, and Hadrián Rodrı́guez
    Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions
    ASIACRYPT 2021
    [DOI] [Full version] [Implementation]
  3. Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, and Dimitris Kolonelos
    Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular
    Financial Cryptography 2021
    [DOI] [Full version] [implementation]
  4. Alexandre Bois, Ignacio Cascudo, Dario Fiore, and Dongwoo Kim
    Flexible and Efficient Verifiable Computation on Encrypted Data
    PKC 2021
    [DOI] [Full version]

2020

  1. Antonio Faonio, and Dario Fiore
    Improving the Efficiency of Re-randomizable and Replayable CCA Secure Public Key Encryption
    ACNS 2020
    [DOI]
  2. Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, and Luca Nizzardo
    Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage
    ASIACRYPT 2020
    [DOI] [Full version] [Implementation]
  3. Dario Fiore, Anca Nitulescu, and David Pointcheval
    Boosting Verifiable Computation on Encrypted Data
    PKC 2020
    [DOI] [Full version]
  4. Dario Catalano, Mario Di Raimondo, Dario Fiore, and Irene Giacomelli
    MonZa: Fast Maliciously Secure Two Party Computation on Z_2^k
    PKC 2020
    [DOI] [Full version]

2019

  1. Antonio Faonio, Dario Fiore, Javier Herranz, and Carla Ràfols
    Structure-Preserving and Re-randomizable RCCA-Secure Public Key Encryption and Its Applications
    ASIACRYPT 2019
    [DOI] [Full version]
  2. Matteo Campanelli, Dario Fiore, and Anaı̈s Querol
    LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs
    ACM CCS 2019
    [DOI] [Full version] [Codebase]
    Related implementations: LegoGroth 16 in Rust by Kobi Gurkan, by Lovesh Harchandani; LegoGroth16 in C++ by Matteo Campanelli.

2018

  1. Dario Catalano, Dario Fiore, and Luca Nizzardo
    On the Security Notions for Homomorphic Signatures
    ACNS 2018
    [DOI] [Full version]
  2. Dario Fiore, and Elena Pagnin
    Matrioska: A Compiler for Multi-key Homomorphic Signatures
    SCN 2018
    [DOI] [Full version]
  3. Michel Abdalla, Dario Catalano, Dario Fiore, Romain Gay, and Bogdan Ursu
    Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings
    CRYPTO 2018
    [DOI] [Full version]

2017

  1. Manuel Barbosa, Dario Catalano, and Dario Fiore
    Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
    ESORICS 2017
    [DOI] [Full version] [labHE implementation]
  2. Carmen Elisabetta Zaira Baltico, Dario Catalano, Dario Fiore, and Romain Gay
    Practical Functional Encryption for Quadratic Functions with Applications to Predicate Encryption
    CRYPTO 2017
    [DOI] [Full version]
    The full version is a merge of ePrint reports 2016/1104 and 2016/1106.
  3. Yevgeniy Dodis, and Dario Fiore
    Unilaterally-Authenticated Key Exchange
    Financial Cryptography 2017
    [DOI] [Full version]

2016

  1. Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo, and Elena Pagnin
    Multi-key Homomorphic Authenticators
    ASIACRYPT 2016
    [DOI] [Full version]
  2. Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, and Bryan Parno
    Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
    ACM CCS 2016
    [DOI] [Full version]
  3. Dario Fiore, and Anca Nitulescu
    On the (In)Security of SNARKs in the Presence of Oracles
    TCC 2016-B
    [DOI] [Full version]
  4. Johannes Krupp, Dominique Schröder, Mark Simkin, Dario Fiore, Giuseppe Ateniese, and Stefan Nürnberger
    Nearly Optimal Verifiable Data Streaming
    PKC 2016
    [DOI] [Full version]

2015

  1. Dario Catalano, and Dario Fiore
    Using Linearly-Homomorphic Encryption to Evaluate Degree-2 Functions on Encrypted Data
    ACM CCS 2015
    [DOI] [Full version]
  2. Dario Catalano, Dario Fiore, and Luca Nizzardo
    Programmable Hash Functions Go Private: Constructions and Applications to (Homomorphic) Signatures with Shorter Public Keys
    CRYPTO 2015
    [DOI] [Full version]
    Selected for presentation at JNIC 2015 (Jornadas Nacionales de Investigacion en Ciberseguridad) where it was the recipient of a best paper award for the category of short papers (which includes already published works).
  3. Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, and Mehdi Tibouchi
    Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
    PKC 2015
    [DOI] [Full version]
  4. Michael Backes, Manuel Barbosa, Dario Fiore, and Raphael M. Reischuk
    ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
    IEEE Symposium on Security and Privacy, S&P 2015
    [DOI] [Full version] [Implementation, part of libsnark]
    Recipient of the 2016 CNIL-INRIA Award for privacy protection.

2014

  1. Dario Fiore, Rosario Gennaro, and Valerio Pastro
    Efficiently Verifiable Computation on Encrypted Data
    ACM CCS 2014
    [DOI] [Full version] [Related implementation: HAL]
  2. Yevgeniy Dodis, and Dario Fiore
    Interactive Encryption and Message Authentication
    SCN 2014
    [DOI] [Full version]
  3. Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, and Benedikt Schmidt
    Automated Analysis of Cryptographic Assumptions in Generic Group Models
    CRYPTO 2014
    [DOI] [Full version] [GGA tool]
    An extended full version appears in JoC.
  4. Dario Catalano, Dario Fiore, and Bogdan Warinschi
    Homomorphic Signatures with Efficient Verification for Polynomial Functions
    CRYPTO 2014
    [DOI] [Full version]
  5. Dario Catalano, Dario Fiore, Rosario Gennaro, and Luca Nizzardo
    Generalizing Homomorphic MACs for Arithmetic Circuits
    PKC 2014
    [DOI] [Full version]

2013

  1. Michael Backes, Dario Fiore, and Raphael M. Reischuk
    Verifiable delegation of computation on outsourced data
    ACM CCS 2013
    [DOI] [Full version]
  2. Michael Backes, Dario Fiore, and Esfandiar Mohammadi
    Privacy-Preserving Accountable Computation
    ESORICS 2013
    [DOI]
  3. Dario Catalano, and Dario Fiore
    Practical Homomorphic MACs for Arithmetic Circuits
    EUROCRYPT 2013
    [DOI] [Full version] [Implementation (part of the HAL library)]
  4. Dario Catalano, and Dario Fiore
    Vector Commitments and Their Applications
    PKC 2013
    [DOI] [Full version]
  5. Dario Catalano, Dario Fiore, Rosario Gennaro, and Konstantinos Vamvourellis
    Algebraic (Trapdoor) One-Way Functions and Their Applications
    TCC 2013
    [DOI] [Full version]

2012

  1. Dario Fiore, and Rosario Gennaro
    Publicly verifiable delegation of large polynomials and matrix computations, with applications
    ACM CCS 2012
    [DOI] [Full version]
  2. Michel Abdalla, Dario Fiore, and Vadim Lyubashevsky
    From Selective to Full Security: Semi-generic Transformations in the Standard Model
    PKC 2012
    [DOI] [Full version]
  3. Dario Catalano, Dario Fiore, and Bogdan Warinschi
    Efficient Network Coding Signatures in the Standard Model
    PKC 2012
    [DOI] [Full version]
  4. Dario Fiore, and Dominique Schröder
    Uniqueness Is a Different Story: Impossibility of Verifiable Random Functions from Trapdoor Permutations
    TCC 2012
    [DOI] [Full version]

2011

  1. Dario Catalano, Mario Di Raimondo, Dario Fiore, Rosario Gennaro, and Orazio Puglisi
    Fully Non-interactive Onion Routing with Forward-Secrecy
    ACNS 2011
    [DOI]
  2. Dario Catalano, Dario Fiore, and Bogdan Warinschi
    Adaptive Pseudo-free Groups and Applications
    EUROCRYPT 2011
    [DOI] [Full version]

2010

  1. Dario Fiore, Rosario Gennaro, and Nigel P. Smart
    Constructing Certificateless Encryption and ID-Based Encryption from ID-Based Key Agreement
    Pairing 2010
    [DOI] [Full version]
  2. Mauro Barni, Tiziano Bianchi, Dario Catalano, Mario Di Raimondo, Ruggero Donida Labati, Pierluigi Failla, Dario Fiore, Riccardo Lazzeretti, and 3 more authors
    Privacy-preserving fingercode authentication
    ACM MM&Sec 2010
    [DOI]
    Recipient of the ACM SIGMM Test of Time honourable mention in the category of Multimedia Security and Privacy in 2022.
  3. Mauro Barni, Tiziano Bianchi, Dario Catalano, Mario Di Raimondo, Ruggero Donida Labati, Pierluigi Failla, Dario Fiore, Riccardo Lazzeretti, and 3 more authors
    A privacy-compliant fingerprint recognition system based on homomorphic encryption and Fingercode templates
    IEEE International Conference on Biometrics: Theory Applications and Systems, BTAS 2010
    [DOI]
  4. Dario Fiore, and Rosario Gennaro
    Making the Diffie-Hellman Protocol Identity-Based
    CT-RSA 2010
    [DOI] [Full version]

2009

  1. Dario Catalano, Dario Fiore, and Rosario Gennaro
    Certificateless onion routing
    ACM CCS 2009
    [DOI] [Full version]
  2. Michel Abdalla, Dario Catalano, and Dario Fiore
    Verifiable Random Functions from Identity-Based Key Encapsulation
    EUROCRYPT 2009
    [DOI] [Full version]

2008

  1. Dario Catalano, Dario Fiore, and Mariagrazia Messina
    Zero-Knowledge Sets with Short Proofs
    EUROCRYPT 2008
    [DOI]
    For the full version see the journal paper.
  2. Dario Catalano, Mario Di Raimondo, Dario Fiore, and Rosario Gennaro
    Off-Line/On-Line Signatures: Theoretical Aspects and Experimental Results
    PKC 2008
    [DOI] [Full version]

Journal papers

  1. Matteo Campanelli, Dario Fiore, and Rosario Gennaro
    Natively Compatible Super-Efficient Lookup Arguments and How to Apply Them
    Journal of Cryptology (vol. 38), 2025
    [DOI] [Full version]
  2. Cecilia Boschini, Dario Fiore, Elena Pagnin, Luca Torresetti, and Andrea Visconti
    Progressive and efficient verification for digital signatures: extensions and experimental results
    J. Cryptogr. Eng. (vol. 14), 2024
    [DOI] [Full version]
  3. Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, and Dimitris Kolonelos
    Zero-knowledge proofs for set membership: efficient, succinct, modular
    Designs, Codes and Cryptography (vol. 14), 
    [DOI]
  4. Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, and Morteza Amini
    A compiler for multi-key homomorphic signatures for Turing machines
    Theor. Comput. Sci. (vol. 889), 2021
    [DOI] [Full version]
  5. Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, and 25 more authors
    Decentralized Privacy-Preserving Proximity Tracing
    IEEE Data Eng. Bull. (vol. 43), 2020
    [PDF] [arXiv]
  6. Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo, and Elena Pagnin
    Multi-key homomorphic authenticators
    IET Information Security (vol. 13), 2019
    [DOI]
    Recipient of 2020 Premium Award for best paper in IET Information Security.
  7. Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, and Benedikt Schmidt
    Automated Analysis of Cryptographic Assumptions in Generic Group Models
    Journal of Cryptology (vol. 32), 2019
    [DOI]
  8. Dario Catalano, Dario Fiore, and Luca Nizzardo
    Homomorphic signatures with sublinear public keys via asymmetric programmable hash functions
    Design Codes and Cryptography (vol. 86), 2018
    [DOI]
  9. Dario Catalano, and Dario Fiore
    Practical Homomorphic Message Authenticators for Arithmetic Circuits
    Journal of Cryptology (vol. 31), 2018
    [DOI]
  10. Dario Fiore, Marı́a Isabel González Vasco, and Claudio Soriente
    Partitioned Group Password-Based Authenticated Key Exchange
    Computer Journal (vol. 60), 2017
    [DOI] [PDF]
  11. Dario Catalano, Dario Fiore, and Rosario Gennaro
    A certificateless approach to onion routing
    International Journal of Information Security (vol. 16), 2017
    [DOI]
  12. Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, and Mehdi Tibouchi
    Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds
    IET Information Security (vol. 10), 2016
    [DOI]
  13. Dario Catalano, Dario Fiore, Rosario Gennaro, and Konstantinos Vamvourellis
    Algebraic (trapdoor) one-way functions: Constructions and applications
    Theoretical Computer Science (vol. 592), 2015
    [DOI]
  14. Michel Abdalla, Dario Catalano, and Dario Fiore
    Verifiable Random Functions: Relations to Identity-Based Key Encapsulation and New Constructions
    Journal of Cryptology (vol. 27), 2014
    [DOI]
  15. Dario Catalano, Mario Di Raimondo, Dario Fiore, Rosario Gennaro, and Orazio Puglisi
    Fully non-interactive onion routing with forward secrecy
    International Journal of Information Security (vol. 12), 2013
    [DOI]
  16. Emmanuel Bresson, Dario Catalano, Mario Di Raimondo, Dario Fiore, and Rosario Gennaro
    Off-line/on-line signatures revisited: a general unifying paradigm, efficient threshold variants and experimental results
    International Journal of Information Security (vol. 12), 2013
    [DOI]
  17. Dario Fiore, Rosario Gennaro, and Nigel P. Smart
    Relations between the security models for certificateless encryption and ID-based key agreement
    International Journal of Information Security (vol. 11), 2012
    [DOI]
  18. Dario Catalano, Mario Di Raimondo, Dario Fiore, and Mariagrazia Messina
    Zero-Knowledge Sets With Short Proofs
    IEEE Transactions in Information Theory (vol. 57), 2011
    [DOI] [PDF]
  19. Dario Fiore, and Rosario Gennaro
    Identity-Based Key Exchange Protocols without Pairings
    Transactions in Computational Sciences (vol. 10), 2010
    [DOI] [PDF]

Book Chapters

  1. Fiore, D. (2022). Verifiable Computation and Succinct Arguments for NP. In D. Pointcheval (Ed.), Asymmetric Cryptography: Primitives and Protocols. Wiley.

PhD thesis

  1. Fiore, D. Efficient Cryptographic Constructions from Bilinear Maps.
    Ph.D. thesis. Department of Mathematics and Computer Science, University of Catania. Submitted on December 2009 and defended on March 1, 2010.