Skip to player
Research
Cryptography & Post-Quantum
›
ML-KEM in Practice
›
What a Formally Verified ML-KEM Actually Proves: Specifications, Models and the Gaps Between Them
Contents
Host
Expert
Murali Chillakuru
Press play to begin the walkthrough.
0:00
11:45
1×
1.25×
1.5×
0.85×
CC
ML-KEM in Practice · 3 / 4
What a Formally Verified ML-KEM Actually Proves: Specifications, Models and the Gaps Between Them
Play
Back