ML-KEM
Specialeforsvar: Katrine Bille Laursen
Titel: ML-KEM
Mathematical Foundation and Security Analysis
Abstract: This thesis rigorously formalizes and builds the theoretical foundations of the Kyber encryption scheme, a lattice-based algorithm assumed to be strong against quantum attacks. We examine the correctness and security proofs of Kyber, offering a comprehensive mathematical formalization and analysis that offers an alternative to the usual heuristic methods. Additionally, we provide an extensive overview of lattice-based cryptography, covering lattice problems, the Learning With Errors problem in its various forms, and the historical context. Notably, this thesis also explores the efficiency of Kyber, including the use of the Number Theoretic Transform.
Vejledere: Fabien Pazuki,
Christian Majenz, DTU
Censor: Ivan Damgård, Aarhus Univeristet