Daniel Dia
Computer & Communications Engineering and Mathematics student @AUB | Cryptography Enthusiast
From the Academia Section
Poster: Mathematically Proving the Security of the Signal Messaging Protocol
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 LinkBridging the Gap: Authoring Comprehensive Documentation for the hax Formal Verification Tool
November 15, 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 → External LinkProject Everest: Building a Provably Secure HTTPS Ecosystem with F*
October 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 LinkTechnologies, Skills & Tools
Theoretical Foundations (& Interests)
Recent Experience
Technical Officer — Software Development team - Google Developer Groups on Campus @AUB
Oct 2025 — Present
Selected as the Technical Officer at the Software Development team of the Google Developer Groups Groups (GDG) on Campus @AUB club.
View all experiences...Projects
DynamiXplore: A High-Performance Framework for Dynamical Systems
A Python-first toolkit with a high-performance Rust core for the advanced simulation and analysis of complex dynamical systems, including nonsmooth and chaotic phenomena.
Latest From The Blog
A Systems Programmer's Case for Rust
Published on: September 27, 2025
A technical deep-dive into Rust’s core design principles, comparing its approach to memory safety, concurrency, and tooling against C++, Java, …
Read more →