France Science Summit 2025
Invited to present my research at the France Science Summit 2025 in Washington, DC.
News
DARPA PI Meeting
Presented BeePL: Correct-by-Compilation Kernel Extensions at the DARPA PI Meeting.
NSF FMitF PI Meeting
Presented my research at the NSF Formal Methods in the Field PI Meeting.
BeePL at PriSC
Presented BeePL at the Workshop on Principles of Secure Compilation.
Formal Methods for Security Panel
Invited panelist at Google Research Day in Paris.
UNESCO–L’Oréal Young Talent
Received the UNESCO–L’Oréal Young Talent Women in Science Award.
IEEE S&P Distinguished Paper
Typing High-Speed Cryptography against Spectre v1 received a Distinguished Paper Award.
ACM CCS
Presented Structured Leakage and Applications to Cryptographic Constant-Time and Cost.
Summer School on Verification Technology, Systems & Applications
Presented the poster Structured Leakage and Applications to Cryptographic Constant-Time and Cost in Belgium.
Programming based on Actors, Agents, and Decentralized Control
Presented Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency in Vancouver, Canada.
Journées du GT « Méthodes formelles pour la sécurité »
Presented Enforcing Fine-Grained Constant-Time Policies in Fréjus, France.
Midwest Verification Day
Presented A Core Calculus for Message Passing Concurrency with Intensional Receive at Kansas State University.