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]