Katharina Kreuzer

14 papers A 2Journal 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	The Oneway to Hiding Theorem. Arch. Formal Proofs Katharina Kreuzer, Dominique Unruh
2024	A	`conf`	Verification of Correctness and Security Properties for CRYSTALS-KYBER. CSF Katharina Kreuzer
2023	J	`jnl`	CRYSTALS-Kyber_Security. Arch. Formal Proofs Katharina Kreuzer
2023	J	`jnl`	Elimination of Repeated Factors Algorithm. Arch. Formal Proofs Katharina Kreuzer, Manuel Eberl
2023	J	`jnl`	Hardness of Lattice Problems. Arch. Formal Proofs Katharina Kreuzer
2023	J	`jnl`	Perfect Fields. Arch. Formal Proofs Manuel Eberl, Katharina Kreuzer
2023	J	`jnl`	Verification of Correctness and Security Properties for CRYSTALS-KYBER. IACR Cryptol. ePrint Arch. Katharina Kreuzer
2023	A	`conf`	Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. CADE Katharina Kreuzer, Tobias Nipkow
2023	J	`jnl`	Verification of NP-hardness Reduction Functions for Exact Lattice Problems. CoRR Katharina Kreuzer, Tobias Nipkow
2023	J	`jnl`	Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform. IACR Cryptol. ePrint Arch. Katharina Kreuzer
2022	J	`jnl`	CRYSTALS-Kyber. Arch. Formal Proofs Katharina Kreuzer
2022	J	`jnl`	Number Theoretic Transform. Arch. Formal Proofs Thomas Ammer, Katharina Kreuzer
2022	J	`jnl`	The Hales-Jewett Theorem. Arch. Formal Proofs Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer
2021	J	`jnl`	Van der Waerden's Theorem. Arch. Formal Proofs Katharina Kreuzer, Manuel Eberl