Poster: Mathematically Proving the Security of the Signal Messaging Protocol
2025
A poster presentation at AUB’s Applied Cryptography course exploring how formal methods and tools like F* are used …
Talks & Workshops
Project Everest: Building a Provably Secure HTTPS Ecosystem with F*
2025
A talk at AUB’s ‘The Key Exchange’ on using formal methods and the F* language to build provably …
Conferences
No conferences listed yet.
Publications
No publications listed yet.
Open-Source Contributions
Bridging the Gap: Authoring Comprehensive Documentation for the hax Formal Verification Tool
November 2025
Authored an 8-module technical documentation set for the `hax` formal verification library to lower its barrier to entry. The work was shared and …
Read More