| 2026 | CRYPTO | Splitting Bilinear Groups: New Translations from Composite- to Prime-Order with Applications to Batch Arguments for NP. | David Balbs, Dario Fiore, Duy Nguyen |
| 2026 | PKC | On Verifiable Delay Functions from Time-Lock Puzzles. | Hamza Abusalah, Karen Azari, Dario Fiore, Chethan Kamath, Erkan Tairi |
| 2026 | PKC | Pairing-Based Functional Commitments for Circuits with Shorter Parameters. | David Balbs, Dario Fiore, Russell W. F. Lai |
| 2026 | PKC | On Composing AGM-Secure Functionalities with Cryptographic Proofs - Applications to Unbounded-Depth IVC and More. | Matteo Campanelli, Dario Fiore, Mahak Pancholi |
| 2025 | ACNS | Algebraic Zero Knowledge Contingent Payment. | Javier Gomez-Martinez, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez, Dario Fiore |
| 2025 | CRYPTO | Verifiable Computation for Approximate Homomorphic Encryption Schemes. | Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimares, Eduardo Soria-Vazquez |
| 2025 | ESORICS | $\mathfrak {Tetris}$! Traceable Extendable Threshold Ring Signatures and More. | Gennaro Avitabile, Vincenzo Botta, Dario Fiore |
| 2025 | FC | Verification-Efficient Homomorphic Signatures for Verifiable Computation over Data Streams. | Gaspard Anthoine, Daniele Cozzo, Dario Fiore |
| 2024 | CCS | Real-World Universal zkSNARKs are Non-Malleable. | Antonio Faonio, Dario Fiore, Luigi Russo |
| 2024 | CRYPTO | Fully-Succinct Multi-key Homomorphic Signatures from Standard Assumptions. | Gaspard Anthoine, David Balbs, Dario Fiore |
| 2024 | PKC | Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees. | Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa |
| 2024 | PKC | Witness Encryption for Succinct Functional Commitments and Applications. | Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh |
| 2023 | ASIACRYPT | Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces. | Dario Fiore, Dimitris Kolonelos, Paola de Perthuis |
| 2023 | CCS | Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing. | David Balbs, Dario Fiore, Mara Isabel Gonzlez Vasco, Damien Robissout, Claudio Soriente |
| 2023 | PKC | Extendable Threshold Ring Signatures with Enhanced Anonymity. | Gennaro Avitabile, Vincenzo Botta, Dario Fiore |
| 2023 | PKC | Efficient and Universally Composable Single Secret Leader Election from Pairings. | Dario Catalano, Dario Fiore, Emanuele Giunta |
| 2023 | TCC | Chainable Functional Commitments for Unbounded-Depth Circuits. | David Balbs, Dario Catalano, Dario Fiore, Russell W. F. Lai |
| 2023 | TCC | From Polynomial IOP and Commitments to Non-malleable zkSNARKs. | Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac |
| 2022 | ACNS | Progressive and Efficient Verification for Digital Signatures. | Cecilia Boschini, Dario Fiore, Elena Pagnin |
| 2022 | ASIACRYPT | Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures. | Dario Catalano, Dario Fiore, Ida Tucker |
| 2022 | CCS | Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams. | Dario Fiore, Ida Tucker |
| 2022 | CCS | Succinct Zero-Knowledge Batch Proofs for Set Accumulators. | Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh |
| 2022 | ESORICS | Ring Signatures with User-Controlled Linkability. | Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, Ida Tucker |
| 2022 | PODC | Adaptively Secure Single Secret Leader Election from DDH. | Dario Catalano, Dario Fiore, Emanuele Giunta |
| 2022 | SCN | Inner Product Functional Commitments with Constant-Size Public Parameters and Openings. | Hien Chu, Dario Fiore, Dimitris Kolonelos, Dominique Schrder |
| 2022 | TCC | On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups. | Dario Catalano, Dario Fiore, Rosario Gennaro, Emanuele Giunta |
| 2021 | ASIACRYPT | Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions. | Matteo Campanelli, Antonio Faonio, Dario Fiore, Anas Querol, Hadrin Rodrguez |
| 2021 | FC | Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. | Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos |
| 2021 | PKC | Flexible and Efficient Verifiable Computation on Encrypted Data. | Alexandre Bois, Ignacio Cascudo, Dario Fiore, Dongwoo Kim |
| 2020 | ACNS | Improving the Efficiency of Re-randomizable and Replayable CCA Secure Public Key Encryption. | Antonio Faonio, Dario Fiore |
| 2020 | ASIACRYPT | Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage. | Matteo Campanelli, Dario Fiore, Nicola Greco, Dimitris Kolonelos, Luca Nizzardo |
| 2020 | PKC | Mon$\mathbb {Z}_{2^{k}}$a: Fast Maliciously Secure Two Party Computation on $\mathbb {Z}_{2^{k}}$. | Dario Catalano, Mario Di Raimondo, Dario Fiore, Irene Giacomelli |
| 2020 | PKC | Boosting Verifiable Computation on Encrypted Data. | Dario Fiore, Anca Nitulescu, David Pointcheval |
| 2019 | ASIACRYPT | Structure-Preserving and Re-randomizable RCCA-Secure Public Key Encryption and Its Applications. | Antonio Faonio, Dario Fiore, Javier Herranz, Carla Rfols |
| 2019 | CCS | LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs. | Matteo Campanelli, Dario Fiore, Anas Querol |
| 2019 | MUM | "Forgot your password again?": acceptance and user experience of a chatbot for in-company IT support. | Dario Fiore, Matthias Baldauf, Christian Thiel |
| 2018 | ACNS | On the Security Notions for Homomorphic Signatures. | Dario Catalano, Dario Fiore, Luca Nizzardo |
| 2018 | CRYPTO | Multi-Input Functional Encryption for Inner Products: Function-Hiding Realizations and Constructions Without Pairings. | Michel Abdalla, Dario Catalano, Dario Fiore, Romain Gay, Bogdan Ursu |
| 2018 | SCN | Matrioska: A Compiler for Multi-key Homomorphic Signatures. | Dario Fiore, Elena Pagnin |
| 2017 | CRYPTO | Practical Functional Encryption for Quadratic Functions with Applications to Predicate Encryption. | Carmen Elisabetta Zaira Baltico, Dario Catalano, Dario Fiore, Romain Gay |
| 2017 | ESORICS | Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data. | Manuel Barbosa, Dario Catalano, Dario Fiore |
| 2017 | FC | Unilaterally-Authenticated Key Exchange. | Yevgeniy Dodis, Dario Fiore |
| 2016 | ASIACRYPT | Multi-key Homomorphic Authenticators. | Dario Fiore, Aikaterini Mitrokotsa, Luca Nizzardo, Elena Pagnin |
| 2016 | CCS | Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data. | Dario Fiore, Cdric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno |
| 2016 | PKC | Nearly Optimal Verifiable Data Streaming. | Johannes Krupp, Dominique Schrder, Mark Simkin, Dario Fiore, Giuseppe Ateniese, Stefan Nrnberger |
| 2016 | TCC | On the (In)Security of SNARKs in the Presence of Oracles. | Dario Fiore, Anca Nitulescu |
| 2015 | CCS | Using Linearly-Homomorphic Encryption to Evaluate Degree-2 Functions on Encrypted Data. | Dario Catalano, Dario Fiore |
| 2015 | CRYPTO | Programmable Hash Functions Go Private: Constructions and Applications to (Homomorphic) Signatures with Shorter Public Keys. | Dario Catalano, Dario Fiore, Luca Nizzardo |
| 2015 | PKC | Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds. | Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi |
| 2015 | SP | ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. | Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk |
| 2014 | CCS | Efficiently Verifiable Computation on Encrypted Data. | Dario Fiore, Rosario Gennaro, Valerio Pastro |
| 2014 | CRYPTO | Automated Analysis of Cryptographic Assumptions in Generic Group Models. | Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt |
| 2014 | CRYPTO | Homomorphic Signatures with Efficient Verification for Polynomial Functions. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2014 | PKC | Generalizing Homomorphic MACs for Arithmetic Circuits. | Dario Catalano, Dario Fiore, Rosario Gennaro, Luca Nizzardo |
| 2014 | SCN | Interactive Encryption and Message Authentication. | Yevgeniy Dodis, Dario Fiore |
| 2013 | CCS | Verifiable delegation of computation on outsourced data. | Michael Backes, Dario Fiore, Raphael M. Reischuk |
| 2013 | ESORICS | Privacy-Preserving Accountable Computation. | Michael Backes, Dario Fiore, Esfandiar Mohammadi |
| 2013 | EuroCrypt | Practical Homomorphic MACs for Arithmetic Circuits. | Dario Catalano, Dario Fiore |
| 2013 | PKC | Vector Commitments and Their Applications. | Dario Catalano, Dario Fiore |
| 2013 | TCC | Algebraic (Trapdoor) One-Way Functions and Their Applications. | Dario Catalano, Dario Fiore, Rosario Gennaro, Konstantinos Vamvourellis |
| 2012 | CCS | Publicly verifiable delegation of large polynomials and matrix computations, with applications. | Dario Fiore, Rosario Gennaro |
| 2012 | PKC | From Selective to Full Security: Semi-generic Transformations in the Standard Model. | Michel Abdalla, Dario Fiore, Vadim Lyubashevsky |
| 2012 | PKC | Efficient Network Coding Signatures in the Standard Model. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2012 | TCC | Uniqueness Is a Different Story: Impossibility of Verifiable Random Functions from Trapdoor Permutations. | Dario Fiore, Dominique Schrder |
| 2011 | ACNS | Fully Non-interactive Onion Routing with Forward-Secrecy. | Dario Catalano, Mario Di Raimondo, Dario Fiore, Rosario Gennaro, Orazio Puglisi |
| 2011 | EuroCrypt | Adaptive Pseudo-free Groups and Applications. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2010 | Pairing | Constructing Certificateless Encryption and ID-Based Encryption from ID-Based Key Agreement. | Dario Fiore, Rosario Gennaro, Nigel P. Smart |
| 2009 | CCS | Certificateless onion routing. | Dario Catalano, Dario Fiore, Rosario Gennaro |
| 2009 | EuroCrypt | Verifiable Random Functions from Identity-Based Key Encapsulation. | Michel Abdalla, Dario Catalano, Dario Fiore |
| 2008 | EuroCrypt | Zero-Knowledge Sets with Short Proofs. | Dario Catalano, Dario Fiore, Mariagrazia Messina |
| 2008 | PKC | Off-Line/On-Line Signatures: Theoretical Aspects and Experimental Results. | Dario Catalano, Mario Di Raimondo, Dario Fiore, Rosario Gennaro |