Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Informations projet

PICOCRYPT

N° de convention de subvention: 101001283

DOI

10.3030/101001283

Date de signature de la CE 4 Février 2021

Date de début 1 Juin 2021

Date de fin 31 Mai 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 999 873,00

Contribution de l’UE

€ 1 999 873,00

Coordonné par

FUNDACION IMDEA SOFTWARE
Spain

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (34)

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

Peer reviewed articles (3)

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

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

Thesis and dissertations (1)

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