Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Información del proyecto

PICOCRYPT

Identificador del acuerdo de subvención: 101001283

DOI

10.3030/101001283

Fecha de la firma de la CE 4 Febrero 2021

Fecha de inicio 1 Junio 2021

Fecha de finalización 31 Mayo 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 999 873,00

Aportación de la UE

€ 1 999 873,00

Coordinado por

FUNDACION IMDEA SOFTWARE
Spain

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (34)

Threshold Linearly Homomorphic Encryption on Z/2^kZ

Autores: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Publicado en: Advances in Cryptology – ASIACRYPT 2022, Edición 13792, 2022, ISBN 978-3-031-22966-4
Editor: Springer Cham
DOI: 10.1007/978-3-031-22966-4_4

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

Autores: Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
Publicado en: Public-Key Cryptography – PKC 2024, Edición 14602, 2024, Página(s) 337-369, ISBN 978-3-031-57722-2
Editor: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_11

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

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

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autores: Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Publicado en: Public-Key Cryptography – PKC 2023, Edición 13940, 2023
Editor: Springer Cham
DOI: 10.1007/978-3-031-31368-4_11

An Incremental PoSW for General Weight Distributions

Autores: Hamza Abusalah, Valerio Cini
Publicado en: Advances in Cryptology – EUROCRYPT 2023, Edición 14005, 2023
Editor: Springer
DOI: 10.1007/978-3-031-30617-4_10

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Autores: Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh
Publicado en: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Página(s) 455-469, ISBN 9781450394505
Editor: Association for Computing Machinery
DOI: 10.1145/3548606.3560677

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

Autores: Dario Fiore, Ida Tucker
Publicado en: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Página(s) 1067-1080, ISBN 9781450394505
Editor: Association for Computing Machinery
DOI: 10.1145/3548606.3560630

Efficient and Universally Composable Single Secret Leader Election from Pairings

Autores: Dario Catalano, Dario Fiore, Emanuele Giunta
Publicado en: Public-Key Cryptography – PKC 2023, Edición 13940, 2023
Editor: Springer Cham
DOI: 10.1007/978-3-031-31368-4_17

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

Autores: Daniele Cozzo, Emanuele Giunta
Publicado en: Theory of Cryptography. TCC 2023, Edición 14372, 2023
Editor: Springer
DOI: 10.1007/978-3-031-48624-1_12

Distributed Broadcast Encryption from Bilinear Groups

Autores: Dimitris Kolonelos, Giulio Malavolta, Hoeteck Wee
Publicado en: Advances in Cryptology – ASIACRYPT 2023, Edición 14442, 2023, Página(s) 407-441, ISBN 978-981-99-8733-7
Editor: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_13

VSS from Distributed ZK Proofs and Applications

Autores: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publicado en: Advances in Cryptology – ASIACRYPT 2023, Edición 14438, 2023, Página(s) 405–440, ISBN 978-981-99-8721-4
Editor: Springer, Singapore
DOI: 10.1007/978-981-99-8721-4_13

Zero-Knowledge Arguments for Subverted RSA Groups

Autores: Dimitris Kolonelos, Mary Maller, Mikhail Volkhov
Publicado en: Public-Key Cryptography – PKC 2023., Edición 13941, 2023
Editor: Springer Cham
DOI: 10.1007/978-3-031-31371-4_18

Chainable Functional Commitments for Unbounded-Depth Circuits

Autores: David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
Publicado en: Theory of Cryptography. TCC 2023, Edición 14371, 2023
Editor: Springer
DOI: 10.1007/978-3-031-48621-0_13

SNACKs for Proof-of-Space Blockchains

Autores: Hamza Abusalah
Publicado en: Financial Cryptography and Data Security. FC 2023, Edición 13951, 2023
Editor: Springer
DOI: 10.1007/978-3-031-47751-5_1

Efficient Registration-Based Encryption

Autores: Noemi Glaeser, Dimitris Kolonelos, Giulio Malavolta, Ahmadreza Rahimi
Publicado en: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Página(s) 1065–1079, ISBN 979-8-4007-0050-7
Editor: ACM
DOI: 10.1145/3576915.3616596

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

Autores: Dario Catalano, Dario Fiore, Rosario Gennaro, Emanuele Giunta
Publicado en: TCC 2022: Theory of Cryptography, Edición 13748, 2022
Editor: Springer, Cham
DOI: 10.1007/978-3-031-22365-5_10

Subversion-Resilient Enhanced Privacy ID

Autores: Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente
Publicado en: Topics in Cryptology – CT-RSA 2022, Edición 13161, 2022, Página(s) 562–588, ISBN 978-3-030-95312-6
Editor: Springer, Cham
DOI: 10.1007/978-3-030-95312-6_23

Witness Encryption for Succinct Functional Commitments and Applications

Autores: Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
Publicado en: Public-Key Cryptography – PKC 2024, Edición 14602, 2022, Página(s) 132-167, ISBN 978-3-031-57722-2
Editor: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_5

Efficient Laconic Cryptography from Learning with Errors

Autores: Nico Döttling, Dimitris Kolonelos, Russell W. F. Lai, Chuanwei Lin, Giulio Malavolta, Ahmadreza Rahimi
Publicado en: Advances in Cryptology – EUROCRYPT 2023, Edición 14006, 2023
Editor: Springer
DOI: 10.1007/978-3-031-30620-4_14

Cryptographic Administration for Secure Group Messaging

Autores: David Balbás, Daniel Collins, Serge Vaudenay
Publicado en: 32nd USENIX Security Symposium (USENIX Security 23), 2023, ISBN 978-1-939133-37-3
Editor: USENIX Association

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

Autores: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publicado en: Information Security and Privacy. ACISP 2023, Edición 13915, 2023
Editor: Springer Cham
DOI: 10.1007/978-3-031-35486-1_21

Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures

Autores: Dario Catalano, Dario Fiore, Ida Tucker
Publicado en: Advances in Cryptology – ASIACRYPT 2022, Edición 13794, 2022, ISBN 978-3-031-22972-5
Editor: Springer Cham
DOI: 10.1007/978-3-031-22972-5_6

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

Autores: Hien Chu, Dario Fiore, Dimitris Kolonelos,Dominique Schröder
Publicado en: Security and Cryptography for Networks. SCN 2022, Edición 13409, 2022
Editor: Springer
DOI: 10.1007/978-3-031-14791-3_28

Ring Signatures with User-Controlled Linkability

Autores: Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, Ida Tucker
Publicado en: Computer Security – ESORICS 2022, Edición 13555, 2022
Editor: Springer, Cham
DOI: 10.1007/978-3-031-17146-8_20

Adaptively Secure Single Secret Leader Election from DDH

Autores: Dario Catalano, Dario Fiore, Emanuele Giunta
Publicado en: PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Editor: Association for Computing Machinery
DOI: 10.1145/3519270.3538424

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

Autores: Dario Fiore, Dimitris Kolonelos, Paola de Perthuis
Publicado en: Advances in Cryptology – ASIACRYPT 2023, Edición 14442, 2023, Página(s) 166-200, ISBN 978-981-99-8733-7
Editor: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_6

WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs

Autores: David Balbás, Daniel Collins, Phillip Gajland
Publicado en: Advances in Cryptology – ASIACRYPT 2023, Edición 14442, 2023, Página(s) 307–341, ISBN 978-981-99-8733-7
Editor: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_10

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

Autores: Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
Publicado en: Theory of Cryptography. TCC 2023, Edición 14371, 2023
Editor: Springer
DOI: 10.1007/978-3-031-48621-0_16

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients

Autores: Hamza Abusalah, Georg Fuchsbauer, Peter Gaži, Karen Klein
Publicado en: Advances in Cryptology – ASIACRYPT 2022, Edición 13794, 2022, ISBN 978-3-031-22972-5
Editor: Springer
DOI: 10.1007/978-3-031-22963-3_27

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

Autores: Peter Chvojka, Tibor Jager
Publicado en: Public-Key Cryptography – PKC 2023, Edición 13940, 2023
Editor: 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

Autores: Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
Publicado en: Advances in Cryptology – ASIACRYPT 2021, Edición 13092, 2021, Página(s) 3-33, ISBN 978-3-030-92078-4
Editor: Springer
DOI: 10.1007/978-3-030-92078-4_1

Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing

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

Practical Robust DKG Protocols for CSIDH

Autores: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Publicado en: Applied Cryptography and Network Security. ACNS 2023, Edición 13906, 2023
Editor: Springer Cham
DOI: 10.1007/978-3-031-33491-7_9

Progressive and Efficient Verification for Digital Signatures

Autores: Cecilia Boschini, Dario Fiore, Elena Pagnin
Publicado en: Applied Cryptography and Network Security. ACNS 2022, Edición 13269, 2022, Página(s) 440-458
Editor: Springer, Cham
DOI: 10.1007/978-3-031-09234-3_22

Peer reviewed articles (3)

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

Autores: Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
Publicado en: Design, Codes and Cryptography, Edición 91, 2023, Página(s) 3457–3525, ISSN 1573-7586
Editor: Springer
DOI: 10.1007/s10623-023-01245-1

A compiler for multi-key homomorphic signatures for Turing machines

Autores: Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini
Publicado en: Theoretical Computer Science, Edición 889, 2021, Página(s) 145-170, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2021.08.002

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

Autores: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Publicado en: Theoretical Computer Science, Edición 914, 2022, Página(s) 84-113, ISSN 0304-3975
Editor: 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

Autores: Anais Querol Cruz
Publicado en: 2022
Editor: Universidad Politecnica de Madrid
DOI: 10.20868/upm.thesis.71762