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.
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 .