https://scholar.google.fr/citations?user=rh47X8QAAAAJ

Selection of Papers

2023 - Usenix Security 2023
“TreeSync: Authenticated Group Management for Messaging Layer Security” [paper]

2020 - ACM Conference on Computer and Communications Security (CCS)
“HACLxN: Verified Generic SIMD Crypto” [paper]

2019 - IEEE Security and Privacy (S&P)
“Formally Verified Cryptographic Web Applications in WebAssembly” [paper]

2019 - IEEE Security and Privacy (S&P)
“EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider” [paper]

2017 - ACM Conference on Computer and Communications Security (CCS)
“HACL*: A Verified Modern Cryptographic Library” [paper]

2015 - IEEE Security and Privacy (S&P)
“A Messy State of the Union: Taming the Composite State Machines of TLS” [paper]
Distinguished Paper Award.

2015 - Usenix Security - WOOT workshop
“FLEXTLS: a tool for testing TLS implementations” [paper]
Best Paper Award.