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