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. I’m also co-chairing ISC 2024, to be held at GMU Mason Square in Arlington on October 23-25. (Website coming soon, here is last year’s edition: ISC 2023.)

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