Biography
Nicky Mouha is the Founder of KeyCryptic LLC, 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 national and international standards, with a particular focus on how cryptography is deployed in practice. Notably, he discovered vulnerabilities in the cryptographic software of billions of devices (CVE-2019-8741 and CVE-2022-37454). These discoveries fueled his passion for techniques and tools to formally prove the absence of specific classes of vulnerabilities.
All sessions by Nicky Mouha
Understanding Formal Verification: Lessons from Verifying Post-Quantum-Secure Implementations (U12b)
21 Apr 2026
13:30
Salon 1-3
