5G Handover: When Forward Security Breaks. - Navya Sivaraman; Simin Nadjm-Tehrani (SECRYPT, 2023)

Formal Analysis of Julia Key Agreement Protocol. - Navya Sivaraman; Simin Nadjm-Tehrani; Thomas Johansson 001 (ICICS (2), 2024)