ICMC 2026 Talk: Nicky Mouha on Post-Quantum Cryptography and Formal Verification
At the upcoming International Cryptographic Module Conference 2026, Nicky Mouha, Founder of KeyCryptic, will speak about something that sounds straightforward but rarely is: assuring that cryptographic algorithms are implemented correctly. His talk, “Understanding Formal Verification: Lessons from Verifying Post-Quantum-Secure Implementations,” will focus on mlkem-native and mldsa-native. These are high-performance implementations of post-quantum algorithms, consisting of …
Read more “ICMC 2026 Talk: Nicky Mouha on Post-Quantum Cryptography and Formal Verification”