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 57 publications in conference proceedings, and 16 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

2022

  1. Dario Catalano, Dario Fiore, and Ida Tucker
    Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures
    ASIACRYPT 2022
  2. Dario Fiore, and Ida Tucker
    Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams
    ACM CCS 2022
  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
  4. Dario Catalano, Dario Fiore, Rosario Gennaro, and Emanuele Giunta
    On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups
    TCC 2022
  5. Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, and Ida Tucker
    Ring Signatures with User-Controlled Linkability
    ESORICS 2022
  6. Hien Chu, Dario Fiore, Dimitris Kolonelos, and Dominique Schröder
    Inner Product Functional Commitments with Constant-Size Public Parameters and Openings
    SCN 2022
  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
  8. Cecilia Boschini, Dario Fiore, and Elena Pagnin
    Progressive and Efficient Verification for Digital Signatures
    ACNS 2022
  9. Antonio Faonio, Dario Fiore, Luca Nizzardo, and Claudio Soriente
    Subversion-Resilient Enhanced Privacy ID
    CT-RSA 2022

2021

  1. Miguel Ambrona, Dario Fiore, and Claudio Soriente
    Controlled Functional Encryption Revisited: Multi-Authority Extensions and Efficient Schemes for Quadratic Functions
    PoPETS 2021
  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
  3. Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, and Dimitris Kolonelos
    Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular
    Financial Cryptography 2021
  4. Alexandre Bois, Ignacio Cascudo, Dario Fiore, and Dongwoo Kim
    Flexible and Efficient Verifiable Computation on Encrypted Data
    PKC 2021

2020

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

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
  2. Matteo Campanelli, Dario Fiore, and Anaı̈s Querol
    LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs
    ACM CCS 2019
    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
  2. Dario Fiore, and Elena Pagnin
    Matrioska: A Compiler for Multi-key Homomorphic Signatures
    SCN 2018
  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

2017

  1. Manuel Barbosa, Dario Catalano, and Dario Fiore
    Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
    ESORICS 2017
  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
    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

2016

  1. Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo, and Elena Pagnin
    Multi-key Homomorphic Authenticators
    ASIACRYPT 2016
  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
  3. Dario Fiore, and Anca Nitulescu
    On the (In)Security of SNARKs in the Presence of Oracles
    TCC 2016-B
  4. Johannes Krupp, Dominique Schröder, Mark Simkin, Dario Fiore, Giuseppe Ateniese, and Stefan Nürnberger
    Nearly Optimal Verifiable Data Streaming
    PKC 2016

2015

  1. Dario Catalano, and Dario Fiore
    Using Linearly-Homomorphic Encryption to Evaluate Degree-2 Functions on Encrypted Data
    ACM CCS 2015
  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
    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
  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
    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
  2. Yevgeniy Dodis, and Dario Fiore
    Interactive Encryption and Message Authentication
    SCN 2014
  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
    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
  5. Dario Catalano, Dario Fiore, Rosario Gennaro, and Luca Nizzardo
    Generalizing Homomorphic MACs for Arithmetic Circuits
    PKC 2014

2013

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

2012

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

2011

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

2010

  1. Dario Fiore, Rosario Gennaro, and Nigel P. Smart
    Constructing Certificateless Encryption and ID-Based Encryption from ID-Based Key Agreement
    Pairing 2010
  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
    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
  4. Dario Fiore, and Rosario Gennaro
    Making the Diffie-Hellman Protocol Identity-Based
    CT-RSA 2010

2009

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

2008

  1. Dario Catalano, Dario Fiore, and Mariagrazia Messina
    Zero-Knowledge Sets with Short Proofs
    EUROCRYPT 2008
    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

Journal papers

  1. 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
  2. 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
  3. Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo, and Elena Pagnin
    Multi-key homomorphic authenticators
    IET Information Security (vol. 13), 2019
    Recipient of 2020 Premium Award for best paper in IET Information Security.
  4. 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
  5. 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
  6. Dario Catalano, and Dario Fiore
    Practical Homomorphic Message Authenticators for Arithmetic Circuits
    Journal of Cryptology (vol. 31), 2018
  7. Dario Fiore, Marı́a Isabel González Vasco, and Claudio Soriente
    Partitioned Group Password-Based Authenticated Key Exchange
    Computer Journal (vol. 60), 2017
  8. Dario Catalano, Dario Fiore, and Rosario Gennaro
    A certificateless approach to onion routing
    International Journal of Information Security (vol. 16), 2017
  9. 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
  10. Dario Catalano, Dario Fiore, Rosario Gennaro, and Konstantinos Vamvourellis
    Algebraic (trapdoor) one-way functions: Constructions and applications
    Theoretical Computer Science (vol. 592), 2015
  11. 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
  12. 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
  13. 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
  14. 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
  15. Dario Catalano, Mario Di Raimondo, Dario Fiore, and Mariagrazia Messina
    Zero-Knowledge Sets With Short Proofs
    IEEE Transactions in Information Theory (vol. 57), 2011
  16. Dario Fiore, and Rosario Gennaro
    Identity-Based Key Exchange Protocols without Pairings
    Transactions in Computational Sciences (vol. 10), 2010

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.