Here is some of my work: If you have questions, feel free to reach out to me.
List of Publications:
- 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]