Van der Waerden's Theorem. - Katharina Kreuzer; Manuel Eberl (Arch. Formal Proofs, 2021)

Number Theoretic Transform. - Thomas Ammer; Katharina Kreuzer (Arch. Formal Proofs, 2022)

CRYSTALS-Kyber. - Katharina Kreuzer (Arch. Formal Proofs, 2022)

The Hales-Jewett Theorem. - Ujkan Sulejmani; Manuel Eberl; Katharina Kreuzer (Arch. Formal Proofs, 2022)

Verification of NP-Hardness Reduction Functions for Exact Lattice Problems. - Katharina Kreuzer; Tobias Nipkow (CADE, 2023)

Perfect Fields. - Manuel Eberl; Katharina Kreuzer (Arch. Formal Proofs, 2023)

Hardness of Lattice Problems. - Katharina Kreuzer (Arch. Formal Proofs, 2023)

CRYSTALS-Kyber_Security. - Katharina Kreuzer (Arch. Formal Proofs, 2023)

Elimination of Repeated Factors Algorithm. - Katharina Kreuzer; Manuel Eberl (Arch. Formal Proofs, 2023)

Verification of the (1-δ)-Correctness Proof of CRYSTALS-KYBER with Number Theoretic Transform. - Katharina Kreuzer (IACR Cryptol. ePrint Arch., 2023)

Verification of Correctness and Security Properties for CRYSTALS-KYBER. - Katharina Kreuzer (IACR Cryptol. ePrint Arch., 2023)

The Oneway to Hiding Theorem. - Katharina Kreuzer; Dominique Unruh (Arch. Formal Proofs, 2025)