We stand with Ukraine  

Katharina Kreuzer

Orcid: 0000-0002-4621-734X

Affiliations:
  • TU Munich, School of Computation, Information and Technology , Garching, Germany


According to our database1, Katharina Kreuzer authored at least 11 papers between 2021 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Verification of Correctness and Security Properties for CRYSTALS-KYBER.
[BibTeX]
[DOI]
Katharina Kreuzer
IACR Cryptol. ePrint Arch., 2023

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

Elimination of Repeated Factors Algorithm.
[BibTeX]
[DOI]
Katharina Kreuzer
,
Manuel Eberl
Arch. Formal Proofs, 2023

CRYSTALS-Kyber_Security.
[BibTeX]
[DOI]
Katharina Kreuzer
Arch. Formal Proofs, 2023

Hardness of Lattice Problems.
[BibTeX]
[DOI]
Katharina Kreuzer
Arch. Formal Proofs, 2023

Perfect Fields.
[BibTeX]
[DOI]
Manuel Eberl
,
Katharina Kreuzer
Arch. Formal Proofs, 2023

Verification of NP-Hardness Reduction Functions for Exact Lattice Problems.
[BibTeX]
[DOI]
Katharina Kreuzer
,
Tobias Nipkow
Proceedings of the Automated Deduction - CADE 29, 2023

2022
The Hales-Jewett Theorem.
[BibTeX]
[DOI]
Ujkan Sulejmani
,
Manuel Eberl
,
Katharina Kreuzer
Arch. Formal Proofs, 2022

CRYSTALS-Kyber.
[BibTeX]
[DOI]
Katharina Kreuzer
Arch. Formal Proofs, 2022

Number Theoretic Transform.
[BibTeX]
[DOI]
Thomas Ammer
,
Katharina Kreuzer
Arch. Formal Proofs, 2022

2021
Van der Waerden's Theorem.
[BibTeX]
[DOI]
Katharina Kreuzer
,
Manuel Eberl
Arch. Formal Proofs, 2021


  Loading...