Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Threshold Linearly Homomorphic Encryption on Z/2^kZ

Auteurs: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Publié dans: Advances in Cryptology – ASIACRYPT 2022, Numéro 13792, 2022, ISBN 978-3-031-22966-4
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-22966-4_4

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

Auteurs: Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
Publié dans: Public-Key Cryptography – PKC 2024, Numéro 14602, 2024, Page(s) 337-369, ISBN 978-3-031-57722-2
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_11

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

Auteurs: David Balbás, Daniel Collins, Phillip Gajland
Publié dans: XVII REUNIÓN ESPAÑOLA SOBRE CRIPTOLOGÍA Y SEGURIDAD DE LA INFORMACIÓN. RECSI 2022, 2022, ISBN 978-84-19024-14-5
Éditeur: Editorial Universidad de Cantabria
DOI: 10.22429/euc2022.028

Extendable Threshold Ring Signatures with Enhanced Anonymity

Auteurs: Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Publié dans: Public-Key Cryptography – PKC 2023, Numéro 13940, 2023
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-31368-4_11

An Incremental PoSW for General Weight Distributions

Auteurs: Hamza Abusalah, Valerio Cini
Publié dans: Advances in Cryptology – EUROCRYPT 2023, Numéro 14005, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-30617-4_10

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

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

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

Auteurs: Dario Fiore, Ida Tucker
Publié dans: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Page(s) 1067-1080, ISBN 9781450394505
Éditeur: Association for Computing Machinery
DOI: 10.1145/3548606.3560630

Efficient and Universally Composable Single Secret Leader Election from Pairings

Auteurs: Dario Catalano, Dario Fiore, Emanuele Giunta
Publié dans: Public-Key Cryptography – PKC 2023, Numéro 13940, 2023
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-31368-4_17

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

Auteurs: Daniele Cozzo, Emanuele Giunta
Publié dans: Theory of Cryptography. TCC 2023, Numéro 14372, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-48624-1_12

Distributed Broadcast Encryption from Bilinear Groups

Auteurs: Dimitris Kolonelos, Giulio Malavolta, Hoeteck Wee
Publié dans: Advances in Cryptology – ASIACRYPT 2023, Numéro 14442, 2023, Page(s) 407-441, ISBN 978-981-99-8733-7
Éditeur: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_13

VSS from Distributed ZK Proofs and Applications

Auteurs: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publié dans: Advances in Cryptology – ASIACRYPT 2023, Numéro 14438, 2023, Page(s) 405–440, ISBN 978-981-99-8721-4
Éditeur: Springer, Singapore
DOI: 10.1007/978-981-99-8721-4_13

Zero-Knowledge Arguments for Subverted RSA Groups

Auteurs: Dimitris Kolonelos, Mary Maller, Mikhail Volkhov
Publié dans: Public-Key Cryptography – PKC 2023., Numéro 13941, 2023
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-31371-4_18

Chainable Functional Commitments for Unbounded-Depth Circuits

Auteurs: David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
Publié dans: Theory of Cryptography. TCC 2023, Numéro 14371, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-48621-0_13

SNACKs for Proof-of-Space Blockchains

Auteurs: Hamza Abusalah
Publié dans: Financial Cryptography and Data Security. FC 2023, Numéro 13951, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-47751-5_1

Efficient Registration-Based Encryption

Auteurs: Noemi Glaeser, Dimitris Kolonelos, Giulio Malavolta, Ahmadreza Rahimi
Publié dans: 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
Éditeur: ACM
DOI: 10.1145/3576915.3616596

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

Auteurs: Dario Catalano, Dario Fiore, Rosario Gennaro, Emanuele Giunta
Publié dans: TCC 2022: Theory of Cryptography, Numéro 13748, 2022
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-22365-5_10

Subversion-Resilient Enhanced Privacy ID

Auteurs: Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente
Publié dans: Topics in Cryptology – CT-RSA 2022, Numéro 13161, 2022, Page(s) 562–588, ISBN 978-3-030-95312-6
Éditeur: Springer, Cham
DOI: 10.1007/978-3-030-95312-6_23

Witness Encryption for Succinct Functional Commitments and Applications

Auteurs: Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
Publié dans: Public-Key Cryptography – PKC 2024, Numéro 14602, 2022, Page(s) 132-167, ISBN 978-3-031-57722-2
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_5

Efficient Laconic Cryptography from Learning with Errors

Auteurs: Nico Döttling, Dimitris Kolonelos, Russell W. F. Lai, Chuanwei Lin, Giulio Malavolta, Ahmadreza Rahimi
Publié dans: Advances in Cryptology – EUROCRYPT 2023, Numéro 14006, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-30620-4_14

Cryptographic Administration for Secure Group Messaging

Auteurs: David Balbás, Daniel Collins, Serge Vaudenay
Publié dans: 32nd USENIX Security Symposium (USENIX Security 23), 2023, ISBN 978-1-939133-37-3
Éditeur: USENIX Association

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

Auteurs: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publié dans: Information Security and Privacy. ACISP 2023, Numéro 13915, 2023
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-35486-1_21

Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures

Auteurs: Dario Catalano, Dario Fiore, Ida Tucker
Publié dans: Advances in Cryptology – ASIACRYPT 2022, Numéro 13794, 2022, ISBN 978-3-031-22972-5
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-22972-5_6

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

Auteurs: Hien Chu, Dario Fiore, Dimitris Kolonelos,Dominique Schröder
Publié dans: Security and Cryptography for Networks. SCN 2022, Numéro 13409, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-14791-3_28

Ring Signatures with User-Controlled Linkability

Auteurs: Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, Ida Tucker
Publié dans: Computer Security – ESORICS 2022, Numéro 13555, 2022
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-17146-8_20

Adaptively Secure Single Secret Leader Election from DDH

Auteurs: Dario Catalano, Dario Fiore, Emanuele Giunta
Publié dans: PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Éditeur: Association for Computing Machinery
DOI: 10.1145/3519270.3538424

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

Auteurs: Dario Fiore, Dimitris Kolonelos, Paola de Perthuis
Publié dans: Advances in Cryptology – ASIACRYPT 2023, Numéro 14442, 2023, Page(s) 166-200, ISBN 978-981-99-8733-7
Éditeur: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_6

WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs

Auteurs: David Balbás, Daniel Collins, Phillip Gajland
Publié dans: Advances in Cryptology – ASIACRYPT 2023, Numéro 14442, 2023, Page(s) 307–341, ISBN 978-981-99-8733-7
Éditeur: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_10

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

Auteurs: Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
Publié dans: Theory of Cryptography. TCC 2023, Numéro 14371, 2023
Éditeur: Springer
DOI: 10.1007/978-3-031-48621-0_16

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients

Auteurs: Hamza Abusalah, Georg Fuchsbauer, Peter Gaži, Karen Klein
Publié dans: Advances in Cryptology – ASIACRYPT 2022, Numéro 13794, 2022, ISBN 978-3-031-22972-5
Éditeur: Springer
DOI: 10.1007/978-3-031-22963-3_27

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

Auteurs: Peter Chvojka, Tibor Jager
Publié dans: Public-Key Cryptography – PKC 2023, Numéro 13940, 2023
Éditeur: 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

Auteurs: Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
Publié dans: Advances in Cryptology – ASIACRYPT 2021, Numéro 13092, 2021, Page(s) 3-33, ISBN 978-3-030-92078-4
Éditeur: Springer
DOI: 10.1007/978-3-030-92078-4_1

Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing

Auteurs: David Balbás, Dario Fiore, Maria Isabel González Vasco, Damien Robissout, Claudio Soriente
Publié dans: 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
Éditeur: ACM
DOI: 10.1145/3576915.3623160

Practical Robust DKG Protocols for CSIDH

Auteurs: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publié dans: Applied Cryptography and Network Security. ACNS 2023, Numéro 13906, 2023
Éditeur: Springer Cham
DOI: 10.1007/978-3-031-33491-7_9

Progressive and Efficient Verification for Digital Signatures

Auteurs: Cecilia Boschini, Dario Fiore, Elena Pagnin
Publié dans: Applied Cryptography and Network Security. ACNS 2022, Numéro 13269, 2022, Page(s) 440-458
Éditeur: Springer, Cham
DOI: 10.1007/978-3-031-09234-3_22

Fast Amortized Bootstrapping with Small Keys and Polynomial Noise Overhead

Auteurs: Antonio Guimarães, Hilder V. L. Pereira
Publié dans: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025, Page(s) 2967-2981
Éditeur: ACM
DOI: 10.1145/3719027.3765181

Real-World Universal zkSNARKs are Non-Malleable

Auteurs: Antonio Faonio, Dario Fiore, Luigi Russo
Publié dans: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2025, Page(s) 3138-3151
Éditeur: ACM
DOI: 10.1145/3658644.3690351

Short Paper: Rewardable Naysayer Proofs

Auteurs: Gennaro Avitabile, Luisa Siniscalchi, Ivan Visconti
Publié dans: Lecture Notes in Computer Science, Financial Cryptography and Data Security, Numéro 15752, 2026, Page(s) 243-252
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07035-7_15

Black-Box Timed Commitments from Time-Lock Puzzles

Auteurs: Hamza Abusalah, Gennaro Avitabile
Publié dans: Lecture Notes in Computer Science, Theory of Cryptography, Numéro 15366, 2024, Page(s) 460-493
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-78020-2_16

Fully-Succinct Multi-key Homomorphic Signatures from Standard Assumptions

Auteurs: Gaspard Anthoine, David Balbás, Dario Fiore
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, Numéro 14922, 2024, Page(s) 317-351
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68382-4_10

Signature-Based Witness Encryption with Compact Ciphertext

Auteurs: Gennaro Avitabile, Nico Döttling, Bernardo Magri, Christos Sakkas, Stella Wohnig
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, Numéro 15484, 2024, Page(s) 3-31
Éditeur: Springer Nature Singapore
DOI: 10.1007/978-981-96-0875-1_1

Verification-Efficient Homomorphic Signatures for Verifiable Computation over Data Streams

Auteurs: Gaspard Anthoine, Daniele Cozzo, Dario Fiore
Publié dans: Lecture Notes in Computer Science, Financial Cryptography and Data Security, Numéro 15752, 2026, Page(s) 255-272
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07035-7_16

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

Auteurs: Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Publié dans: Lecture Notes in Computer Science, Computer Security – ESORICS 2025, Numéro 16054, 2025, Page(s) 22-41
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-07891-9_2

Verifiable Secret Sharing from Symmetric Key Cryptography with Improved Optimistic Complexity

Auteurs: Ignacio Cascudo, Daniele Cozzo, Emanuele Giunta
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – ASIACRYPT 2024, Numéro 15490, 2024, Page(s) 100-128
Éditeur: Springer Nature Singapore
DOI: 10.1007/978-981-96-0941-3_4

Algebraic Zero Knowledge Contingent Payment

Auteurs: Javier Gomez-Martinez, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez, Dario Fiore
Publié dans: Lecture Notes in Computer Science, Applied Cryptography and Network Security, Numéro 15826, 2025, Page(s) 224-254
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-95764-2_10

Verifiable Computation for Approximate Homomorphic Encryption Schemes

Auteurs: Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2025, Numéro 16006, 2025, Page(s) 643-677
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-032-01907-3_21

On Graphs of Incremental Proofs of Sequential Work

Auteurs: Hamza Abusalah
Publié dans: Lecture Notes in Computer Science, Public-Key Cryptography – PKC 2025, Numéro 15678, 2025, Page(s) 203-233
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91832-2_7

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

Auteurs: Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
Publié dans: Design, Codes and Cryptography, Numéro 91, 2023, Page(s) 3457–3525, ISSN 1573-7586
Éditeur: Springer
DOI: 10.1007/s10623-023-01245-1

Data redaction in smart-contract-enabled permissioned blockchains

Auteurs: Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Ivan Visconti
Publié dans: Blockchain: Research and Applications, 2025, Page(s) 100363, ISSN 2096-7209
Éditeur: Elsevier BV
DOI: 10.1016/j.bcra.2025.100363

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

Auteurs: Cecilia Boschini, Dario Fiore, Elena Pagnin, Luca Torresetti, Andrea Visconti
Publié dans: Journal of Cryptographic Engineering, Numéro 14, 2024, Page(s) 551-575, ISSN 2190-8508
Éditeur: Springer Science + Business Media
DOI: 10.1007/s13389-024-00358-0

A compiler for multi-key homomorphic signatures for Turing machines

Auteurs: Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini
Publié dans: Theoretical Computer Science, Numéro 889, 2021, Page(s) 145-170, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2021.08.002

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

Auteurs: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Publié dans: Theoretical Computer Science, Numéro 914, 2022, Page(s) 84-113, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2022.02.014

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Auteurs: Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti
Publié dans: Journal of Cryptology, Numéro 38, 2025, ISSN 0933-2790
Éditeur: Springer Verlag
DOI: 10.1007/s00145-024-09532-3

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

Auteurs: Matteo Campanelli, Dario Fiore, Rosario Gennaro
Publié dans: Journal of Cryptology, Numéro 38, 2025, ISSN 0933-2790
Éditeur: Springer Verlag
DOI: 10.1007/s00145-024-09535-0

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

Auteurs: Anais Querol Cruz
Publié dans: 2022
Éditeur: Universidad Politecnica de Madrid
DOI: 10.20868/upm.thesis.71762

Publications

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page