Foundations and Applications of Functional Cryptography

Informazioni relative al progetto

FAFC

ID dell’accordo di sovvenzione: 714253

DOI

10.3030/714253

Progetto chiuso

Data della firma CE 1 Dicembre 2016

Data di avvio 1 Febbraio 2017

Data di completamento 31 Gennaio 2023

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 307 188,00

Contributo UE

€ 1 307 188,00

Coordinato da

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (7)

Algebraic Distinguishers: From Discrete Logarithms to Decisional Uber Assumptions

Autori: Lior Rotem, Gil Segev
Pubblicato in: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III, Numero 12552, 2020, Pagina/e 366-389, ISBN 978-3-030-64380-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-64381-2_13

Generically Speeding-Up Repeated Squaring Is Equivalent to Factoring: Sharp Thresholds for All Generic-Ring Delay Functions

Autori: Lior Rotem, Gil Segev
Pubblicato in: Advances in Cryptology – CRYPTO 2020 - 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part III, Numero 12172, 2020, Pagina/e 481-509, ISBN 978-3-030-56876-4
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-56877-1_17

Accumulators in (and Beyond) Generic Groups: Non-trivial Batch Verification Requires Interaction

Autori: Gili Schul-Ganz, Gil Segev
Pubblicato in: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Numero 12551, 2020, Pagina/e 77-107, ISBN 978-3-030-64377-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-64378-2_4

Injective Trapdoor Functions via Derandomization: How Strong is Rudich’s Black-Box Barrier?

Autori: Lior Rotem, Gil Segev
Pubblicato in: Theory of Cryptography - 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I, Numero 11239, 2018, Pagina/e 421-447, ISBN 978-3-030-03806-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03807-6_16

The Security of Lazy Users in Out-of-Band Authentication

Autori: Moni Naor, Lior Rotem, Gil Segev
Pubblicato in: Theory of Cryptography - 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II, Numero 11240, 2018, Pagina/e 575-599, ISBN 978-3-030-03809-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03810-6_21

Ciphertext Expansion in Limited-Leakage Order-Preserving Encryption: A Tight Computational Lower Bound

Autori: Gil Segev, Ido Shahaf
Pubblicato in: Theory of Cryptography - 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II, Numero 11240, 2018, Pagina/e 177-191, ISBN 978-3-030-03809-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03810-6_7

Generic-Group Delay Functions Require Hidden-Order Groups

Autori: Lior Rotem, Gil Segev, Ido Shahaf
Pubblicato in: Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10–14, 2020, Proceedings, Part III, Numero 12107, 2020, Pagina/e 155-180, ISBN 978-3-030-45726-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-45727-3_6

Conference proceedings (15)

Tighter Security for Schnorr Identification and Signatures: A High-Moment Forking Lemma for Σ-Protocols

Autori: Lior Rotem, Gil Segev
Pubblicato in: Advances in Cryptology – CRYPTO 2021, 2021, Pagina/e 222-250
Editore: Springer
DOI: 10.1007/978-3-030-84242-0_9

Crypto-Oriented Neural Architecture Design

Autori: Avital Shafran, Gil Segev, Shmuel Peleg, Yedid Hoshen
Pubblicato in: ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2021, Pagina/e 2680-2684, ISBN 978-1-7281-7605-5
Editore: IEEE
DOI: 10.1109/icassp39728.2021.9413592

A Fully-Constructive Discrete-Logarithm Preprocessing Algorithm with an Optimal Time-Space Tradeoff

Autori: Lior Rotem, Gil Segev
Pubblicato in: 3rd Conference on Information-Theoretic Cryptography (ITC 2022), 2022, Pagina/e 12:1--12:16, ISBN 978-3-95977-238-9
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itc.2022.12

Hardness vs. (Very Little) Structure in Cryptography: A Multi-Prover Interactive Proofs Perspective

Autori: Gil Segev, Ido Shahaf
Pubblicato in: 1st Conference on Information-Theoretic Cryptography (ITC 2020), 2020, Pagina/e 10:1--10:23, ISBN 978-3-95977-151-1
Editore: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itc.2020.10

Generic-Group Identity-Based Encryption: A Tight Impossibility Result

Autori: Gili Schul-Ganz, Gil Segev
Pubblicato in: 2nd Conference on Information-Theoretic Cryptography (ITC 2021), 2021, Pagina/e 26:1--26:23, ISBN 978-3-95977-197-9
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itc.2021.26

An Information-Theoretic Proof of the Streaming Switching Lemma for Symmetric Encryption

Autori: Ido Shahaf, Or Ordentlich, Gil Segev
Pubblicato in: 2020 IEEE International Symposium on Information Theory (ISIT), 2020, Pagina/e 858-863, ISBN 978-1-7281-6432-8
Editore: IEEE
DOI: 10.1109/isit44484.2020.9174331

Out-of-Band Authentication in Group Messaging: Computational, Statistical, Optimal

Autori: Lior Rotem, Gil Segev
Pubblicato in: Advances in Cryptology – CRYPTO 2018, 2018, Pagina/e 63-89
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-96884-1_3

Tight Tradeoffs in Searchable Symmetric Encryption

Autori: Gilad Asharov, Gil Segev, Ido Shahaf
Pubblicato in: Advances in Cryptology -- CRYPTO 2018, 2018, Pagina/e 407-436
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-96884-1_14

Anonymous IBE, Leakage Resilience and Circular Security from New Assumptions

Autori: Zvika Brakerski, Alex Lombardi, Gil Segev, Vinod Vaikuntanathan
Pubblicato in: Advances in Cryptology -- EUROCRYPT 2018, 2018, Pagina/e 535-564
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-78381-9_20

Securing Abe's Mix-Net Against Malicious Verifiers via Witness Indistinguishability

Autori: Elette Boyle, Saleet Klein, Alon Rosen, Gil Segev
Pubblicato in: Security and Cryptography for Networks - 11th International Conference, SCN 2018, 2018, Pagina/e 274-291
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-98113-0_15

From Minicrypt to Obfustopia via Private-Key Functional Encryption

Autori: Ilan Komargodski, Gil Segev
Pubblicato in: Advances in Cryptology - EUROCRYPT 2017, 2017, Pagina/e 122-151
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-56620-7_5

Can PPAD Hardness be Based on Standard Cryptographic Assumptions?

Autori: Alon Rosen, Gil Segev, Ido Shahaf
Pubblicato in: Theory of Cryptography Conference (TCC 2017), 2017, Pagina/e 747-776
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-70503-3_25

Strengthening the Security of Encrypted Databases: Non-Transitive JOINs

Autori: Ilya Mironov, Gil Segev, Ido Shahaf
Pubblicato in: Theory of Cryptography Conference (TCC 2017), 2017, Pagina/e 631-661
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-70503-3_21

Non-Malleable Vector Commitments via Local Equivocability

Autori: Lior Rotem, Gil Segev
Pubblicato in: Theory of Cryptography Conference (TCC 2021), 2021, Pagina/e 415--446
Editore: Springer
DOI: 10.1007/978-3-030-90456-2_14

Out-Of-Band Authenticated Group Key Exchange: From Strong Authentication to Immediate Key Delivery

Autori: Moni Naor, Lior Rotem, Gil Segev
Pubblicato in: 1st Conference on Information-Theoretic Cryptography (ITC 2020), 2020, Pagina/e 9:1--9:25, ISBN 978-3-95977-151-1
Editore: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itc.2020.9

Peer reviewed articles (8)

Tight Tradeoffs in Searchable Symmetric Encryption

Autori: Gilad Asharov, Gil Segev, Ido Shahaf
Pubblicato in: Journal of Cryptology, Numero 34/2, 2021, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-020-09370-z

Multi-input Functional Encryption in the Private-Key Setting: Stronger Security from Weaker Assumptions

Autori: Zvika Brakerski, Ilan Komargodski, Gil Segev
Pubblicato in: Journal of Cryptology, Numero 31/2, 2018, Pagina/e 434-520, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-017-9261-0

On Constructing One-Way Permutations from Indistinguishability Obfuscation

Autori: Gilad Asharov, Gil Segev
Pubblicato in: Journal of Cryptology, Numero 31/3, 2018, Pagina/e 698-736, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-017-9268-6

Function-Private Functional Encryption in the Private-Key Setting

Autori: Zvika Brakerski, Gil Segev
Pubblicato in: Journal of Cryptology, Numero 31/1, 2018, Pagina/e 202-225, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-017-9255-y

Deterministic Public-Key Encryption for Adaptively-Chosen Plaintext Distributions

Autori: Ananth Raghunathan, Gil Segev, Salil Vadhan
Pubblicato in: Journal of Cryptology, Numero 31/4, 2018, Pagina/e 1012-1063, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-018-9287-y

Privacy-Preserving Interdomain Routing at Internet Scale

Autori: Gilad Asharov, Daniel Demmler, Michael Schapira, Thomas Schneider, Gil Segev, Scott Shenker, Michael Zohner
Pubblicato in: Proceedings on Privacy Enhancing Technologies, Numero 2017/3, 2017, Pagina/e 147-167, ISSN 2299-0984
Editore: Proceedings on Privacy Enhancing Technologies
DOI: 10.1515/popets-2017-0033

From Minicrypt to Obfustopia via Private-Key Functional Encryption

Autori: Ilan Komargodski, Gil Segev
Pubblicato in: Journal of Cryptology, 2020, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-019-09327-x

Can PPAD Hardness be Based on Standard Cryptographic Assumptions?

Autori: Alon Rosen, Gil Segev, Ido Shahaf
Pubblicato in: Journal of Cryptology, Numero 34/1, 2021, ISSN 0933-2790
Editore: Springer Verlag
DOI: 10.1007/s00145-020-09369-6