December 12, 2025
A poster presentation at AUB’s Applied Cryptography course exploring how formal methods and tools like F* are used to mathematically prove the …
Read more → External LinkOctober 20, 2025
A talk at AUB’s ‘The Key Exchange’ on using formal methods and the F* language to build provably secure cryptographic software, …
Read more → External LinkNo conferences listed yet.
No publications listed yet.
Authored an 8-module technical documentation set for the `hax` formal verification library to lower its barrier to entry. The work was shared and discussed by the project's core team.