DS-2022-02: Post-Quantum Security of Hash Functions

DS-2022-02: Czajkowski, Jan (2022) Post-Quantum Security of Hash Functions. Doctoral thesis, University of Amsterdam.

[thumbnail of DS-2022-02.text.pdf] Text
DS-2022-02.text.pdf - Published Version

Download (7MB)
[thumbnail of Samenvatting] Text (Samenvatting)
DS-2022-02.samenvatting.txt - Other

Download (1kB)

Abstract

The research covered in this thesis is dedicated to provable post-quantum security of hash functions. Post-quantum security provides security guarantees against quantum attackers. We focus on analyzing the sponge construction, a cryptographic construction used in the standardized hash function SHA3.
Our main results are proving a number of quantum security statements. These include standard-model security: collision-resistance and collapsingness, and more idealized notions such as indistinguishability and indifferentiability from a random oracle. All these results concern quantum security of the classical cryptosystems.
From a more high-level perspective we find new applications and generalize several important proof techniques in post-quantum cryptography. We use the polynomial method to prove quantum indistinguishability of the sponge construction. We also develop a framework for quantum game-playing proofs, using the recently introduced techniques of compressed random oracles and the One-way-To-Hiding lemma.
To establish the usefulness of the new framework we also prove a number of quantum indifferentiability results for other cryptographic constructions. On the way to these results, though, we address an open problem concerning quantum indifferentiability. Namely, we disprove a conjecture that forms the basis of a no-go theorem for a version of quantum indifferentiability.

Item Type: Thesis (Doctoral)
Report Nr: DS-2022-02
Series Name: ILLC Dissertation (DS) Series
Year: 2022
Depositing User: Dr Marco Vervoort
Date Deposited: 14 Jun 2022 15:17
Last Modified: 05 Mar 2026 16:41
URI: https://eprints.illc.uva.nl/id/eprint/2201

Actions (login required)

View Item View Item