OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LC
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 …
Read more “OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LC”