Cryptographic Implementation and Security Research
Bridging the gap between scientific research and secure, large-scale deployments. Specialized expertise in post-quantum cryptography, AI inference, and vulnerability research.
Based in the Washington, D.C. Area
We provide flexible engagement structures adjusted to your needs:
Project-based: Targeted reviews, vulnerability research, or implementation tasks.
Advisory/retainer: Long-term strategic guidance for engineering and security teams.
Due diligence: Technical assessment for investors and stakeholders in next-generation technologies.
LET’S WORK TOGETHER!
Our Services
Vulnerability research and reviews: Identifying implementation flaws, side-channel vulnerabilities, and logic errors in cryptographic libraries and AI inference engines.
Cryptographic implementation and optimization: Designing and deploying efficient, high-performance cryptographic primitives and protocols for hardware and software, with a focus on PQC and AI.
Security assurance and formal methods: Verification and assurance for efficient, secure, and standards-compliant hardware and software implementations.
Review
Advise
Implement
About us
Domains of expertise:
Cryptography: symmetric-key and public-key cryptography, including post-quantum cryptography (PQC) and transition guidance.
AI & Machine Learning: secure and efficient implementations of AI inference, including vulnerability research and hardware acceleration.
Implementation & Assurance: Formal methods, side-channel resistance, and secure firmware.
Systems & Infrastructure: Software supply chain security, automotive security, critical infrastructure.
WE WORK WITH
Confidential Clients and Open Source Projects
Most of our commercial engagements are confidential, preventing us from publicly listing clients. However, our impact is visible through our contributions to various open-source projects:
- AI inference: llama.cpp, stable-diffusion.cpp, whisper.cpp
- Cryptography: AWS-LC, BoringSSL, mldsa-native, mlkem-native, OpenSSL
- Formal methods & logic: cvc5, Fil-C, Frama-C, Lean’s mathlib
- Software supply chain: CodeQL, nixpkgs
MEET US
Our Founder
Nicky Mouha
Founder
With a Ph.D. and two decades of experience (including nearly a decade at NIST), Nicky provides the technical leadership and deep domain expertise to advance KeyCryptic’s mission.
let’s connect
We’re always open to discussing consulting opportunities, innovative ideas, and collaborative projects.
FROM THE BLOG
Latest News
-
OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LC
Read more: OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LCAt 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…
-
Asiacrypt 2026 Paper: Back to the Past: Backward Resampling Method with Applications to CHCTR2 and CLRW2
Read more: Asiacrypt 2026 Paper: Back to the Past: Backward Resampling Method with Applications to CHCTR2 and CLRW2The paper “Back to the Past: Backward Resampling Method with Applications to CHCTR2 and CLRW2” has been accepted at the Asiacrypt 2026 conference. Asiacrypt is the IACR’s annual flagship conference for the Asia-Pacific region, Asiacrypt 2026 will be…
-
CFAIL 2026 Paper: Unintended Features of APIs: The OpenSSL Bug That Quietly Disappeared
Read more: CFAIL 2026 Paper: Unintended Features of APIs: The OpenSSL Bug That Quietly DisappearedThe paper “Unintended Features of APIs: The OpenSSL Bug That Quietly Disappeared” was accepted at CFAIL 2026. This is the eighth edition of the Conference for Failed Approaches and Insightful Losses in Cryptology, an affiliated event of Crypto…