Here is some of my work: If you have questions, feel free to reach out to me.

List of Publications:

A Tale of Two Worlds, a Formal Story of WireGuard Hybridization
USENIX 2025, [article]
Formal Analysis of SDNsec: Attacks and Corrections for Payload,Route Integrity and Accountability
ASIACCS 2025, [article]
Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
USENIX 2024, [article]
A Unified Symbolic Analysis of WireGuard
NDSS 2024, [article]
Transferable, Auditable and Anonymous Ticketing Protocol
ASIACCS 2024, [article]