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

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski