Blog – KeyCryptic

OpenSSL Conference 2026 Talk: Nicky Mouha on Formal Verification in AWS-LC

by nickyTalks October 6, 2026Comments are Disabled

At 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 achieve memory safety (preventing buffer overflows), type safety (avoiding integer overflows), and, to some extent, functional correctness …

Asiacrypt 2026 Paper: Back to the Past: Backward Resampling Method with Applications to CHCTR2 and CLRW2

by nickyPapers September 10, 2026Comments are Disabled

The 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 held in Hong Kong. In light of NIST’s ongoing accordion standardization efforts, this paper propose the backward …

CFAIL 2026 Paper: Unintended Features of APIs: The OpenSSL Bug That Quietly Disappeared

by nickyPapers July 16, 2026July 16, 2026Comments are Disabled

The 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 2026. This paper follows up on Benmocha et al.’s “Unintended Features of APIs: Cryptanalysis of Incremental HMAC” …

SAC 2026 Paper: Extended Analysis of Key Committing Security of HCTR2

by nickyPapers July 9, 2026July 29, 2026Comments are Disabled

The 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 an analysis of the key committing security of EtE-HCTR2, a robust authenticated encryption scheme constructed from HCTR2 …

Crypto 2026 Paper: Key Committing Security of HCTR2, Revisited

by nickyPapers June 25, 2026July 15, 2026Comments are Disabled

The paper “Key Committing Security of HCTR2, Revisited” has been accepted at the Crypto 2026 conference. This is the longest-running cryptography conference, and has been held every year since 1981 in Santa Barbara, California, USA. This paper presents improved attacks and proofs for the key committing security of EtE-HCTR2, a robust authenticated encryption scheme constructed …

ICMC 2026 Talk: Nicky Mouha on Post-Quantum Cryptography and Formal Verification

by nickyTalks April 15, 2026July 15, 2026Comments are Disabled

At the upcoming International Cryptographic Module Conference 2026, Nicky Mouha, Founder of KeyCryptic, will speak about something that sounds straightforward but rarely is: assuring that cryptographic algorithms are implemented correctly. His talk, “Understanding Formal Verification: Lessons from Verifying Post-Quantum-Secure Implementations,” will focus on mlkem-native and mldsa-native. These are high-performance implementations of post-quantum algorithms, consisting of …