Katharina Kreuzer

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 15

Top Topics

Worst Case Analysis

Security Properties

Intuitionistic Logic

Top Venues

Arch. Formal Proofs

IACR Cryptol. ePrint Arch.

Publications

Katharina Kreuzer
CRYSTALS-Kyber_Security. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer, Manuel Eberl
Elimination of Repeated Factors Algorithm. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer, Manuel Eberl
Elimination of Repeated Factors Algorithm. Arch. Formal Proofs 2023 (2023)
Manuel Eberl, Katharina Kreuzer
Perfect Fields. Arch. Formal Proofs 2023 (2023)
Manuel Eberl, Katharina Kreuzer
Perfect Fields. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer, Tobias Nipkow
Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. CADE (2023)
Katharina Kreuzer, Tobias Nipkow
Verification of NP-hardness Reduction Functions for Exact Lattice Problems. CoRR (2023)
Katharina Kreuzer
CRYSTALS-Kyber_Security. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer
Verification of Correctness and Security Properties for CRYSTALS-KYBER. IACR Cryptol. ePrint Arch. 2023 (2023)
Katharina Kreuzer
Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform. IACR Cryptol. ePrint Arch. 2023 (2023)
Katharina Kreuzer
Hardness of Lattice Problems. Arch. Formal Proofs 2023 (2023)
Katharina Kreuzer
CRYSTALS-Kyber. Arch. Formal Proofs 2022 (2022)
Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
The Hales-Jewett Theorem. Arch. Formal Proofs 2022 (2022)
Thomas Ammer, Katharina Kreuzer
Number Theoretic Transform. Arch. Formal Proofs 2022 (2022)
Katharina Kreuzer, Manuel Eberl
Van der Waerden's Theorem. Arch. Formal Proofs 2021 (2021)