Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Project Information

PICOCRYPT

Grant agreement ID: 101001283

DOI

10.3030/101001283

EC signature date 4 February 2021

Start date 1 June 2021

End date 31 May 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 999 873,00

EU contribution

€ 1 999 873,00

Coordinated by

FUNDACION IMDEA SOFTWARE
Spain

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (34)

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

Peer reviewed articles (3)

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

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

Thesis and dissertations (1)

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