Skip to player
Home
Cryptography & Post-Quantum
›
ML-KEM in Practice
›
What a Formally Verified ML-KEM Actually Proves: Specifications, Models and the Gaps Between Them
Contents
CC
Host
Expert
Murali Chillakuru
Press play to begin the conversation.
0:00
22:46
1×
1.25×
1.5×
0.85×
ML-KEM in Practice · 3 / 4
What a Formally Verified ML-KEM Actually Proves: Specifications, Models and the Gaps Between Them
Play
Back to browse
'%3E%3Crect x='26' y='6' width='8' height='34' rx='2' fill='%23e9e4d6' stroke='%23cfc7b4'/%3E%3Cpath d='M26 40 L30 52 L34 40 Z' fill='%23f7f4ea'/%3E%3Crect x='26' y='6' width='8' height='7' rx='2' fill='%238fd8c4'/%3E%3C/g%3E%3C/svg%3E)