Cryptography for Privacy and Integrity of Computation on Untrusted Machines

Projektinformationen

PICOCRYPT

ID Finanzhilfevereinbarung: 101001283

DOI

10.3030/101001283

EK-Unterschriftsdatum 4 Februar 2021

Startdatum 1 Juni 2021

Enddatum 31 Mai 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 999 873,00

EU-Beitrag

€ 1 999 873,00

Koordiniert durch

FUNDACION IMDEA SOFTWARE
Spain

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (34)

Threshold Linearly Homomorphic Encryption on Z/2^kZ

Autoren: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2022, Ausgabe 13792, 2022, ISBN 978-3-031-22966-4
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-22966-4_4

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

Autoren: Matteo Campanelli, Antonio Faonio, Dario Fiore, Tianyu Li, Helger Lipmaa
Veröffentlicht in: Public-Key Cryptography – PKC 2024, Ausgabe 14602, 2024, Seite(n) 337-369, ISBN 978-3-031-57722-2
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_11

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

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

Extendable Threshold Ring Signatures with Enhanced Anonymity

Autoren: Gennaro Avitabile, Vincenzo Botta, Dario Fiore
Veröffentlicht in: Public-Key Cryptography – PKC 2023, Ausgabe 13940, 2023
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-31368-4_11

An Incremental PoSW for General Weight Distributions

Autoren: Hamza Abusalah, Valerio Cini
Veröffentlicht in: Advances in Cryptology – EUROCRYPT 2023, Ausgabe 14005, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-30617-4_10

Succinct Zero-Knowledge Batch Proofs for Set Accumulators

Autoren: Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh
Veröffentlicht in: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Seite(n) 455-469, ISBN 9781450394505
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3548606.3560677

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

Autoren: Dario Fiore, Ida Tucker
Veröffentlicht in: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, Seite(n) 1067-1080, ISBN 9781450394505
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3548606.3560630

Efficient and Universally Composable Single Secret Leader Election from Pairings

Autoren: Dario Catalano, Dario Fiore, Emanuele Giunta
Veröffentlicht in: Public-Key Cryptography – PKC 2023, Ausgabe 13940, 2023
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-31368-4_17

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

Autoren: Daniele Cozzo, Emanuele Giunta
Veröffentlicht in: Theory of Cryptography. TCC 2023, Ausgabe 14372, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-48624-1_12

Distributed Broadcast Encryption from Bilinear Groups

Autoren: Dimitris Kolonelos, Giulio Malavolta, Hoeteck Wee
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2023, Ausgabe 14442, 2023, Seite(n) 407-441, ISBN 978-981-99-8733-7
Herausgeber: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_13

VSS from Distributed ZK Proofs and Applications

Autoren: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2023, Ausgabe 14438, 2023, Seite(n) 405–440, ISBN 978-981-99-8721-4
Herausgeber: Springer, Singapore
DOI: 10.1007/978-981-99-8721-4_13

Zero-Knowledge Arguments for Subverted RSA Groups

Autoren: Dimitris Kolonelos, Mary Maller, Mikhail Volkhov
Veröffentlicht in: Public-Key Cryptography – PKC 2023., Ausgabe 13941, 2023
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-31371-4_18

Chainable Functional Commitments for Unbounded-Depth Circuits

Autoren: David Balbás, Dario Catalano, Dario Fiore, Russell W. F. Lai
Veröffentlicht in: Theory of Cryptography. TCC 2023, Ausgabe 14371, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-48621-0_13

SNACKs for Proof-of-Space Blockchains

Autoren: Hamza Abusalah
Veröffentlicht in: Financial Cryptography and Data Security. FC 2023, Ausgabe 13951, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-47751-5_1

Efficient Registration-Based Encryption

Autoren: Noemi Glaeser, Dimitris Kolonelos, Giulio Malavolta, Ahmadreza Rahimi
Veröffentlicht in: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Seite(n) 1065–1079, ISBN 979-8-4007-0050-7
Herausgeber: ACM
DOI: 10.1145/3576915.3616596

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

Autoren: Dario Catalano, Dario Fiore, Rosario Gennaro, Emanuele Giunta
Veröffentlicht in: TCC 2022: Theory of Cryptography, Ausgabe 13748, 2022
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-22365-5_10

Subversion-Resilient Enhanced Privacy ID

Autoren: Antonio Faonio, Dario Fiore, Luca Nizzardo, Claudio Soriente
Veröffentlicht in: Topics in Cryptology – CT-RSA 2022, Ausgabe 13161, 2022, Seite(n) 562–588, ISBN 978-3-030-95312-6
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-030-95312-6_23

Witness Encryption for Succinct Functional Commitments and Applications

Autoren: Matteo Campanelli, Dario Fiore, Hamidreza Khoshakhlagh
Veröffentlicht in: Public-Key Cryptography – PKC 2024, Ausgabe 14602, 2022, Seite(n) 132-167, ISBN 978-3-031-57722-2
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-57722-2_5

Efficient Laconic Cryptography from Learning with Errors

Autoren: Nico Döttling, Dimitris Kolonelos, Russell W. F. Lai, Chuanwei Lin, Giulio Malavolta, Ahmadreza Rahimi
Veröffentlicht in: Advances in Cryptology – EUROCRYPT 2023, Ausgabe 14006, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-30620-4_14

Cryptographic Administration for Secure Group Messaging

Autoren: David Balbás, Daniel Collins, Serge Vaudenay
Veröffentlicht in: 32nd USENIX Security Symposium (USENIX Security 23), 2023, ISBN 978-1-939133-37-3
Herausgeber: USENIX Association

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

Autoren: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Veröffentlicht in: Information Security and Privacy. ACISP 2023, Ausgabe 13915, 2023
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-35486-1_21

Additive-Homomorphic Functional Commitments and Applications to Homomorphic Signatures

Autoren: Dario Catalano, Dario Fiore, Ida Tucker
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2022, Ausgabe 13794, 2022, ISBN 978-3-031-22972-5
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-22972-5_6

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

Autoren: Hien Chu, Dario Fiore, Dimitris Kolonelos,Dominique Schröder
Veröffentlicht in: Security and Cryptography for Networks. SCN 2022, Ausgabe 13409, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-14791-3_28

Ring Signatures with User-Controlled Linkability

Autoren: Dario Fiore, Lydia Garms, Dimitris Kolonelos, Claudio Soriente, Ida Tucker
Veröffentlicht in: Computer Security – ESORICS 2022, Ausgabe 13555, 2022
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-17146-8_20

Adaptively Secure Single Secret Leader Election from DDH

Autoren: Dario Catalano, Dario Fiore, Emanuele Giunta
Veröffentlicht in: PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing, 2022
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3519270.3538424

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

Autoren: Dario Fiore, Dimitris Kolonelos, Paola de Perthuis
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2023, Ausgabe 14442, 2023, Seite(n) 166-200, ISBN 978-981-99-8733-7
Herausgeber: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_6

WhatsUpp with Sender Keys? Analysis, Improvements and Security Proofs

Autoren: David Balbás, Daniel Collins, Phillip Gajland
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2023, Ausgabe 14442, 2023, Seite(n) 307–341, ISBN 978-981-99-8733-7
Herausgeber: Springer, Singapore
DOI: 10.1007/978-981-99-8733-7_10

From Polynomial IOP and Commitments to Non-malleable zkSNARKs

Autoren: Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michal Zajac
Veröffentlicht in: Theory of Cryptography. TCC 2023, Ausgabe 14371, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-48621-0_16

SNACKs: Leveraging Proofs of Sequential Work for Blockchain Light Clients

Autoren: Hamza Abusalah, Georg Fuchsbauer, Peter Gaži, Karen Klein
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2022, Ausgabe 13794, 2022, ISBN 978-3-031-22972-5
Herausgeber: Springer
DOI: 10.1007/978-3-031-22963-3_27

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

Autoren: Peter Chvojka, Tibor Jager
Veröffentlicht in: Public-Key Cryptography – PKC 2023, Ausgabe 13940, 2023
Herausgeber: 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

Autoren: Matteo Campanelli, Antonio Faonio, Dario Fiore, Anaïs Querol, Hadrián Rodríguez
Veröffentlicht in: Advances in Cryptology – ASIACRYPT 2021, Ausgabe 13092, 2021, Seite(n) 3-33, ISBN 978-3-030-92078-4
Herausgeber: Springer
DOI: 10.1007/978-3-030-92078-4_1

Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing

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

Practical Robust DKG Protocols for CSIDH

Autoren: Shahla Atapoor, Karim Baghery, Daniele Cozzo, Robi Pedersen
Veröffentlicht in: Applied Cryptography and Network Security. ACNS 2023, Ausgabe 13906, 2023
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-33491-7_9

Progressive and Efficient Verification for Digital Signatures

Autoren: Cecilia Boschini, Dario Fiore, Elena Pagnin
Veröffentlicht in: Applied Cryptography and Network Security. ACNS 2022, Ausgabe 13269, 2022, Seite(n) 440-458
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-09234-3_22

Peer reviewed articles (3)

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

Autoren: Daniel Benarroch, Matteo Campanelli, Dario Fiore, Kobi Gurkan, Dimitris Kolonelos
Veröffentlicht in: Design, Codes and Cryptography, Ausgabe 91, 2023, Seite(n) 3457–3525, ISSN 1573-7586
Herausgeber: Springer
DOI: 10.1007/s10623-023-01245-1

A compiler for multi-key homomorphic signatures for Turing machines

Autoren: Somayeh Dolatnezhad Samarin, Dario Fiore, Daniele Venturi, Morteza Amini
Veröffentlicht in: Theoretical Computer Science, Ausgabe 889, 2021, Seite(n) 145-170, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2021.08.002

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

Autoren: Guilhem Castagnos, Fabien Laguillaumie, Ida Tucker
Veröffentlicht in: Theoretical Computer Science, Ausgabe 914, 2022, Seite(n) 84-113, ISSN 0304-3975
Herausgeber: 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

Autoren: Anais Querol Cruz
Veröffentlicht in: 2022
Herausgeber: Universidad Politecnica de Madrid
DOI: 10.20868/upm.thesis.71762