Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale
Dit artikel stelt een gecertificeerde bovengrens van vast voor de foutkans bij eerlijke decapsulatie van ML-KEM-768 binnen een afhankelijkheidsbewuste random-oracle en centered-binomial abstractie, waarbij gebruik wordt gemaakt van een nieuwe graafgekoppelde analyse en uitputtende anti-concentatietechnieken om de heuristische foutenschaal van het schema rigoureus te rechtvaardigen.