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
-
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…
-
SAC 2026 Paper: Extended Analysis of Key Committing Security of HCTR2
Read more: SAC 2026 Paper: Extended Analysis of Key Committing Security of HCTR2The paper “Extended Analysis of Key Committing Security of HCTR2” has been accepted at the Selected Areas in Cryptography 2026 conference. This is second-longest running North-American cryptography conference, held in Canada every year since 1994. This paper presents…