Nicky Mouha
Founder at KeyCryptic
Washington DC-Baltimore Area United States
Summary
🤩
Rockstar🎓
Top SchoolNicky Mouha is a cryptographer and founder with a Ph.D. and two decades of experience in cryptanalysis, algorithm design, and secure hardware/software implementations. He spent ten years at NIST expanding into standards development, vulnerability research, and formal methods, and has deep expertise across symmetric and public-key primitives as well as widely deployed protocols like TLS, SSH, and IPsec. Nicky invented MILP- and SAT-based techniques for differential and linear cryptanalysis and designed the lightweight Chaskey MAC, now standardized in ISO/IEC 29192-6. He has uncovered high-impact vulnerabilities affecting billions of devices (e.g., CVE-2019-8741, CVE-2022-37454) and contributes to the community through editorial and program roles for leading conferences and journals. Beyond research and selective consulting, he contributes practical security testing work—most recently to GitHub's CodeQL test suite on integer overflow scenarios—bridging deep theory with real-world tooling. Open to collaborations, startups, and consulting, he splits his time between independent research and professional engagements from the Washington DC–Baltimore area.
10 years of coding experience
17 years of employment as a software developer
Ph.D., Electrical Engineering, Ph.D., Electrical Engineering at KU Leuven
Dutch, English, French, Spanish, German
Github Skills (7)
testing10
it-security10
c-language10
cprogramming-language10
codeql10
security10
cpp8
Programming languages (8)
Github contributions (5)
github/codeql
Jan 2023 - May 2023
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Role in this project:
Security Engineer
Security EngineerContributions:1 PR, 6 comments in 3 months
Contributions summary:Nicky primarily contributed to the `cpp/ql/test/experimental/query-tests` directory, specifically focusing on testing for security vulnerabilities. The commits involve modifications to a test file (`test.cpp`) related to CWE-190, addressing potential integer overflow issues in C++ code. The changes include adding, modifying, and refining test cases to check for various scenarios of integer arithmetic.
github-advanced-securitysecurity-toolsgithub-security-labsecurity-researcherssecurity
nmouha/nixos-hardware
Jan 2025 - Feb 2025
A collection of NixOS modules covering hardware quirks.
Contributions:14 pushes, 1 branch in 18 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.