Welcome

Nicky Mouha

Hi! I’m Nicky Mouha, a cryptographer from Belgium. Currently, I am based in the Washington DC area. I am a Researcher (NIST Associate) through the Strativia contracting company.

I have over 15 years of experience doing research in cryptography. In 2012, I obtained a Ph.D. degree. Besides my research, I am involved various standardization activities, mainly at NIST and ISO.

I’ve invented the MILP- and SAT-based techniques for differential and linear cryptanalysis, designed the lightweight Chaskey algorithm (standardized in ISO/IEC 29192-6), and discovered vulnerabilities in the cryptographic software of billions of devices: CVE-2019-8741 and CVE-2022-37454.

I support the cryptographic community by serving in various program committees and editorial boards, including IACR Transactions on Symmetric Cryptology (ToSC) and IACR Communications in Cryptology (CiC). I’m also part of the steering committee of CFAIL.

Together with Christopher Celi and Adam Chlipala, I’m organizing the upcoming NIST Workshop on Formal Methods within Certification Programs (FMCP 2024) on July 23-25, 2024 in Rockville, Maryland.

If you have any comments, questions, or ideas to collaborate, feel free to contact me at .