Loading…
The OpenSSL Conference is the global meeting place for the people who build, deploy, govern, and rely on secure digital infrastructure. It brings together developers, security engineers, researchers, policymakers, enterprises, legal and compliance professionals, and community contributors, all united by a shared commitment to stronger open-source security.
Wednesday October 14, 2026 17:30 - 18:00 CEST
Formal verification of cryptographic implementations, particularly PQC in AWS-LC (a fork of OpenSSL): memory safety, type safety, functional correctness.
Speakers
NM

Nicky Mouha

Cryptography and Security Expert, KeyCryptic
Nicky Mouha is the Founder of KeyCryptic, a company that provides cryptography and security consulting services. He has a Ph.D. and two decades of experience in cryptanalysis, cryptographic design, and both hardware and software implementations. During his time at NIST (2016-2025), he collaborated on a wide range of nat... Read More →
Wednesday October 14, 2026 17:30 - 18:00 CEST
Room 3
  Technical, Talk

Sign up or log in to save this to your schedule, view media, check-in, leave feedback and see who's attending!

Share Modal

Share this link via

Or copy link