Talks – KeyCryptic

OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LC

by nickyTalks October 6, 2026Comments are Disabled

At the upcoming OpenSSL Conference 2026, Nicky Mouha, Founder of KeyCryptic, will focus on the formal verification of cryptographic implementations, and particularly on the PQC implementations in the AWS-LC library, a fork of OpenSSL. The goals are to achieve memory safety (preventing buffer overflows), type safety (avoiding integer overflows), and, to some extent, functional correctness …

ICMC 2026 Talk: Nicky Mouha on Post-Quantum Cryptography and Formal Verification

by nickyTalks April 15, 2026July 15, 2026Comments are Disabled

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 …