Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Threshold Linearly Homomorphic Encryption on Z/2^kZ

Author(s): Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Published in: Advances in Cryptology – ASIACRYPT 2022, Issue 13792, 2022, ISBN 978-3-031-22966-4
Publisher: Springer Cham
DOI: 10.1007/978-3-031-22966-4_4

Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees

Author(s): Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
Published in: Public-Key Cryptography – PKC 2024, Issue 14602, 2024, Page(s) 337-369, ISBN 978-3-031-57722-2
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_11

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

Author(s): David Balbás, Daniel Collins, Phillip Gajland
Published in: XVII REUNIÓN ESPAÑOLA SOBRE CRIPTOLOGÍA Y SEGURIDAD DE LA INFORMACIÓN. RECSI 2022, 2022, ISBN 978-84-19024-14-5
Publisher: Editorial Universidad de Cantabria
DOI: 10.22429/euc2022.028

Extendable Threshold Ring Signatures with Enhanced Anonymity

Author(s): Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Published in: Public-Key Cryptography – PKC 2023, Issue 13940, 2023
Publisher: Springer Cham
DOI: 10.1007/978-3-031-31368-4_11

An Incremental PoSW for General Weight Distributions

Author(s): Hamza Abusalah, Valerio Cini
Published in: Advances in Cryptology – EUROCRYPT 2023, Issue 14005, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-30617-4_10

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Author(s): Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh
Published in: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Page(s) 455-469, ISBN 9781450394505
Publisher: Association for Computing Machinery
DOI: 10.1145/3548606.3560677

Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams

Author(s): Dario Fiore, Ida Tucker
Published in: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Page(s) 1067-1080, ISBN 9781450394505
Publisher: Association for Computing Machinery
DOI: 10.1145/3548606.3560630

Efficient and Universally Composable Single Secret Leader Election from Pairings

Author(s): Dario Catalano, Dario Fiore, Emanuele Giunta
Published in: Public-Key Cryptography – PKC 2023, Issue 13940, 2023
Publisher: Springer Cham
DOI: 10.1007/978-3-031-31368-4_17

Round-Robin is Optimal: Lower Bounds for Group Action Based Protocols

Author(s): Daniele Cozzo, Emanuele Giunta
Published in: Theory of Cryptography. TCC 2023, Issue 14372, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-48624-1_12

Distributed Broadcast Encryption from Bilinear Groups

Author(s): Dimitris Kolonelos, Giulio Malavolta, Hoeteck Wee
Published in: Advances in Cryptology – ASIACRYPT 2023, Issue 14442, 2023, Page(s) 407-441, ISBN 978-981-99-8733-7
Publisher: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_13

VSS from Distributed ZK Proofs and Applications

Author(s): Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Published in: Advances in Cryptology – ASIACRYPT 2023, Issue 14438, 2023, Page(s) 405–440, ISBN 978-981-99-8721-4
Publisher: Springer, Singapore
DOI: 10.1007/978-981-99-8721-4_13

Zero-Knowledge Arguments for Subverted RSA Groups

Author(s): Dimitris Kolonelos, Mary Maller, Mikhail Volkhov
Published in: Public-Key Cryptography – PKC 2023., Issue 13941, 2023
Publisher: Springer Cham
DOI: 10.1007/978-3-031-31371-4_18

Chainable Functional Commitments for Unbounded-Depth Circuits

Author(s): David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
Published in: Theory of Cryptography. TCC 2023, Issue 14371, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-48621-0_13

SNACKs for Proof-of-Space Blockchains

Author(s): Hamza Abusalah
Published in: Financial Cryptography and Data Security. FC 2023, Issue 13951, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-47751-5_1

Efficient Registration-Based Encryption

Author(s): Noemi Glaeser, Dimitris Kolonelos, Giulio Malavolta, Ahmadreza Rahimi
Published in: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Page(s) 1065–1079, ISBN 979-8-4007-0050-7
Publisher: ACM
DOI: 10.1145/3576915.3616596

On the Impossibility of Algebraic Vector Commitments in Pairing-Free Groups

Author(s): Dario Catalano, Dario Fiore, Rosario Gennaro, Emanuele Giunta
Published in: TCC 2022: Theory of Cryptography, Issue 13748, 2022
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-22365-5_10

Subversion-Resilient Enhanced Privacy ID

Author(s): Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente
Published in: Topics in Cryptology – CT-RSA 2022, Issue 13161, 2022, Page(s) 562–588, ISBN 978-3-030-95312-6
Publisher: Springer, Cham
DOI: 10.1007/978-3-030-95312-6_23

Witness Encryption for Succinct Functional Commitments and Applications

Author(s): Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
Published in: Public-Key Cryptography – PKC 2024, Issue 14602, 2022, Page(s) 132-167, ISBN 978-3-031-57722-2
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_5

Efficient Laconic Cryptography from Learning with Errors

Author(s): Nico Döttling, Dimitris Kolonelos, Russell W. F. Lai, Chuanwei Lin, Giulio Malavolta, Ahmadreza Rahimi
Published in: Advances in Cryptology – EUROCRYPT 2023, Issue 14006, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-30620-4_14

Cryptographic Administration for Secure Group Messaging

Author(s): David Balbás, Daniel Collins, Serge Vaudenay
Published in: 32nd USENIX Security Symposium (USENIX Security 23), 2023, ISBN 978-1-939133-37-3
Publisher: USENIX Association

CSI-SharK: CSI-FiSh with Sharing-friendly Keys

Author(s): Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Published in: Information Security and Privacy. ACISP 2023, Issue 13915, 2023
Publisher: Springer Cham
DOI: 10.1007/978-3-031-35486-1_21

Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures

Author(s): Dario Catalano, Dario Fiore, Ida Tucker
Published in: Advances in Cryptology – ASIACRYPT 2022, Issue 13794, 2022, ISBN 978-3-031-22972-5
Publisher: Springer Cham
DOI: 10.1007/978-3-031-22972-5_6

Inner Product Functional Commitments with Constant-Size Public Parameters and Openings

Author(s): Hien Chu, Dario Fiore, Dimitris Kolonelos,Dominique Schröder
Published in: Security and Cryptography for Networks. SCN 2022, Issue 13409, 2022
Publisher: Springer
DOI: 10.1007/978-3-031-14791-3_28

Ring Signatures with User-Controlled Linkability

Author(s): Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, Ida Tucker
Published in: Computer Security – ESORICS 2022, Issue 13555, 2022
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-17146-8_20

Adaptively Secure Single Secret Leader Election from DDH

Author(s): Dario Catalano, Dario Fiore, Emanuele Giunta
Published in: PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Publisher: Association for Computing Machinery
DOI: 10.1145/3519270.3538424

Cuckoo Commitments: Registration-Based Encryption and Key-Value Map Commitments for Large Spaces

Author(s): Dario Fiore, Dimitris Kolonelos, Paola de Perthuis
Published in: Advances in Cryptology – ASIACRYPT 2023, Issue 14442, 2023, Page(s) 166-200, ISBN 978-981-99-8733-7
Publisher: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_6

WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs

Author(s): David Balbás, Daniel Collins, Phillip Gajland
Published in: Advances in Cryptology – ASIACRYPT 2023, Issue 14442, 2023, Page(s) 307–341, ISBN 978-981-99-8733-7
Publisher: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_10

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

Author(s): Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
Published in: Theory of Cryptography. TCC 2023, Issue 14371, 2023
Publisher: Springer
DOI: 10.1007/978-3-031-48621-0_16

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients

Author(s): Hamza Abusalah, Georg Fuchsbauer, Peter Gaži, Karen Klein
Published in: Advances in Cryptology – ASIACRYPT 2022, Issue 13794, 2022, ISBN 978-3-031-22972-5
Publisher: Springer
DOI: 10.1007/978-3-031-22963-3_27

Simple, Fast, Efficient, and Tightly-Secure Non-malleable Non-interactive Timed Commitments

Author(s): Peter Chvojka, Tibor Jager
Published in: Public-Key Cryptography – PKC 2023, Issue 13940, 2023
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-31368-4_18

Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions

Author(s): Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
Published in: Advances in Cryptology – ASIACRYPT 2021, Issue 13092, 2021, Page(s) 3-33, ISBN 978-3-030-92078-4
Publisher: Springer
DOI: 10.1007/978-3-030-92078-4_1

Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing

Author(s): David Balbás, Dario Fiore, Maria Isabel González Vasco, Damien Robissout, Claudio Soriente
Published in: CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Page(s) 1437–1451, ISBN 979-8-4007-0050-7
Publisher: ACM
DOI: 10.1145/3576915.3623160

Practical Robust DKG Protocols for CSIDH

Author(s): Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Published in: Applied Cryptography and Network Security. ACNS 2023, Issue 13906, 2023
Publisher: Springer Cham
DOI: 10.1007/978-3-031-33491-7_9

Progressive and Efficient Verification for Digital Signatures

Author(s): Cecilia Boschini, Dario Fiore, Elena Pagnin
Published in: Applied Cryptography and Network Security. ACNS 2022, Issue 13269, 2022, Page(s) 440-458
Publisher: Springer, Cham
DOI: 10.1007/978-3-031-09234-3_22

Fast Amortized Bootstrapping with Small Keys and Polynomial Noise Overhead

Author(s): Antonio Guimarães, Hilder V. L. Pereira
Published in: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025, Page(s) 2967-2981
Publisher: ACM
DOI: 10.1145/3719027.3765181

Real-World Universal zkSNARKs are Non-Malleable

Author(s): Antonio Faonio, Dario Fiore, Luigi Russo
Published in: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2025, Page(s) 3138-3151
Publisher: ACM
DOI: 10.1145/3658644.3690351

Short Paper: Rewardable Naysayer Proofs

Author(s): Gennaro Avitabile, Luisa Siniscalchi, Ivan Visconti
Published in: Lecture Notes in Computer Science, Financial Cryptography and Data Security, Issue 15752, 2026, Page(s) 243-252
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07035-7_15

Black-Box Timed Commitments from Time-Lock Puzzles

Author(s): Hamza Abusalah, Gennaro Avitabile
Published in: Lecture Notes in Computer Science, Theory of Cryptography, Issue 15366, 2024, Page(s) 460-493
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78020-2_16

Fully-Succinct Multi-key Homomorphic Signatures from Standard Assumptions

Author(s): Gaspard Anthoine, David Balbás, Dario Fiore
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, Issue 14922, 2024, Page(s) 317-351
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68382-4_10

Signature-Based Witness Encryption with Compact Ciphertext

Author(s): Gennaro Avitabile, Nico Döttling, Bernardo Magri, Christos Sakkas, Stella Wohnig
Published in: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, Issue 15484, 2024, Page(s) 3-31
Publisher: Springer Nature Singapore
DOI: 10.1007/978-981-96-0875-1_1

Verification-Efficient Homomorphic Signatures for Verifiable Computation over Data Streams

Author(s): Gaspard Anthoine, Daniele Cozzo, Dario Fiore
Published in: Lecture Notes in Computer Science, Financial Cryptography and Data Security, Issue 15752, 2026, Page(s) 255-272
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07035-7_16

$$\mathfrak {Tetris}$$! Traceable Extendable Threshold Ring Signatures and More

Author(s): Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Published in: Lecture Notes in Computer Science, Computer Security – ESORICS 2025, Issue 16054, 2025, Page(s) 22-41
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07891-9_2

Verifiable Secret Sharing from Symmetric Key Cryptography with Improved Optimistic Complexity

Author(s): Ignacio Cascudo, Daniele Cozzo, Emanuele Giunta
Published in: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, Issue 15490, 2024, Page(s) 100-128
Publisher: Springer Nature Singapore
DOI: 10.1007/978-981-96-0941-3_4

Algebraic Zero Knowledge Contingent Payment

Author(s): Javier Gomez-Martinez, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez, Dario Fiore
Published in: Lecture Notes in Computer Science, Applied Cryptography and Network Security, Issue 15826, 2025, Page(s) 224-254
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-95764-2_10

Verifiable Computation for Approximate Homomorphic Encryption Schemes

Author(s): Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2025, Issue 16006, 2025, Page(s) 643-677
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-032-01907-3_21

On Graphs of Incremental Proofs of Sequential Work

Author(s): Hamza Abusalah
Published in: Lecture Notes in Computer Science, Public-Key Cryptography – PKC 2025, Issue 15678, 2025, Page(s) 203-233
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91832-2_7

Zero-knowledge proofs for set membership: efficient, succinct, modular

Author(s): Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
Published in: Design, Codes and Cryptography, Issue 91, 2023, Page(s) 3457–3525, ISSN 1573-7586
Publisher: Springer
DOI: 10.1007/s10623-023-01245-1

Data redaction in smart-contract-enabled permissioned blockchains

Author(s): Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Ivan Visconti
Published in: Blockchain: Research and Applications, 2025, Page(s) 100363, ISSN 2096-7209
Publisher: Elsevier BV
DOI: 10.1016/j.bcra.2025.100363

Progressive and efficient verification for digital signatures: extensions and experimental results

Author(s): Cecilia Boschini, Dario Fiore, Elena Pagnin, Luca Torresetti, Andrea Visconti
Published in: Journal of Cryptographic Engineering, Issue 14, 2024, Page(s) 551-575, ISSN 2190-8508
Publisher: Springer Science + Business Media
DOI: 10.1007/s13389-024-00358-0

A compiler for multi-key homomorphic signatures for Turing machines

Author(s): Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini
Published in: Theoretical Computer Science, Issue 889, 2021, Page(s) 145-170, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.1016/j.tcs.2021.08.002

A tighter proof for CCA secure inner product functional encryption: Genericity meets efficiency

Author(s): Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Published in: Theoretical Computer Science, Issue 914, 2022, Page(s) 84-113, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.1016/j.tcs.2022.02.014

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Author(s): Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti
Published in: Journal of Cryptology, Issue 38, 2025, ISSN 0933-2790
Publisher: Springer Verlag
DOI: 10.1007/s00145-024-09532-3

Natively Compatible Super-Efficient Lookup Arguments and How to Apply Them

Author(s): Matteo Campanelli, Dario Fiore, Rosario Gennaro
Published in: Journal of Cryptology, Issue 38, 2025, ISSN 0933-2790
Publisher: Springer Verlag
DOI: 10.1007/s00145-024-09535-0

ARCHITech : Advanced Research of Cryptographic Techniques to build efficient blockchains with privacy and security

Author(s): Anais Querol Cruz
Published in: 2022
Publisher: Universidad Politecnica de Madrid
DOI: 10.20868/upm.thesis.71762

Publications

Share this page Share this page on social networks

Download Download the content of the page