Secrecy-Preserving Proofs with Solid Foundations

Project Information

SPP

Grant agreement ID: 101042417

DOI

10.3030/101042417

EC signature date 16 February 2022

Start date 1 October 2022

End date 30 September 2027

Funded under

• European Research Council (ERC)

Total cost

€ 1 390 625,00

EU contribution

€ 1 390 625,00

Coordinated by

TEL AVIV UNIVERSITY
Israel

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 (11)

Bootstrapping Homomorphic Encryption via Functional Encryption

Author(s): Nir Bitansky, Tomer Solomon
Published in: 2023
Publisher: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPIcs.ITCS.2023.17

Certifying Giant Nonprimes

Author(s): Charlotte Hoffmann, Pavel Hubáček, Chethan Kamath, Krzysztof Pietrzak
Published in: Lecture Notes in Computer Science, Public-Key Cryptography – PKC 2023, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-31368-4_19

Batch Proofs Are Statistically Hiding

Author(s): Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Published in: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024
Publisher: ACM
DOI: 10.1145/3618260.3649775

(Verifiable) Delay Functions from Lucas Sequences

Author(s): Charlotte Hoffmann, Pavel Hubáček, Chethan Kamath, Tomáš Krňák
Published in: Lecture Notes in Computer Science, Theory of Cryptography, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-48624-1_13

Pseudorandomness with Proof of Destruction and Applications

Author(s): Amit Behera, Zvika Brakerski, Or Satath, Omri Shmueli
Published in: 2023
Publisher: Springer
DOI: 10.1007/978-3-031-48624-1_5

Non-interactive Universal Arguments

Author(s): Nir Bitansky, Omer Paneth, Dana Shamir, Tomer Solomon
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2023, 2023
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-38545-2_5

A Tight Computational Indistinguishability Bound for Product Distributions

Author(s): Nathan Geier
Published in: 2022
Publisher: Springer
DOI: 10.1007/978-3-031-22365-5_12

Reusable Online-Efficient Commitments

Author(s): Nir Bitansky, Omer Paneth, Dana Shamir
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68397-8_1

Robust Additive Randomized Encodings from IO and Pseudo-Non-linear Codes

Author(s): Nir Bitansky, Sapir Freizeit
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68397-8_4

Amplification of Non-interactive Zero Knowledge, Revisited

Author(s): Nir Bitansky, Nathan Geier
Published in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68400-5_11

PPAD is as Hard as LWE and Iterated Squaring

Author(s): Nir Bitansky, Arka Rai Choudhuri, Justin Holmgren, Chethan Kamath, Alex Lombardi, Omer Paneth, Ron D. Rothblum
Published in: Lecture Notes in Computer Science, Theory of Cryptography, 2022
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-22365-5_21