Katharina Heidler

According to our database, Katharina Heidler authored at least 14 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formalization and Verification of Post-Quantum Cryptography.

Katharina Heidler

PhD thesis, 2025

The Oneway to Hiding Theorem.

Katharina Kreuzer, Dominique Unruh

Arch. Formal Proofs, 2025

Formalizing the One-Way to Hiding Theorem.

Katharina Heidler, Dominique Unruh

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Verification of Correctness and Security Properties for CRYSTALS-KYBER.

Katharina Kreuzer

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform.

Katharina Kreuzer

IACR Cryptol. ePrint Arch., 2023

Elimination of Repeated Factors Algorithm.

Katharina Kreuzer, Manuel Eberl

Arch. Formal Proofs, 2023

CRYSTALS-Kyber_Security.

Katharina Kreuzer

Arch. Formal Proofs, 2023

Hardness of Lattice Problems.

Katharina Kreuzer

Arch. Formal Proofs, 2023

Perfect Fields.

Manuel Eberl, Katharina Kreuzer

Arch. Formal Proofs, 2023

Verification of NP-Hardness Reduction Functions for Exact Lattice Problems.

Katharina Kreuzer, Tobias Nipkow

Proceedings of the Automated Deduction - CADE 29, 2023

2022

The Hales-Jewett Theorem.

Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer

Arch. Formal Proofs, 2022

CRYSTALS-Kyber.

Katharina Kreuzer

Arch. Formal Proofs, 2022

Number Theoretic Transform.

Thomas Ammer, Katharina Kreuzer

Arch. Formal Proofs, 2022

2021

Van der Waerden's Theorem.

Katharina Kreuzer, Manuel Eberl

Arch. Formal Proofs, 2021