Navya Sivaraman

Doktorand

Publikationer

2024

Navya Sivaraman, Simin Nadjm-Tehrani, Thomas Johansson (2024) Formal Analysis of Julia Key Agreement Protocol 26th International Conference, ICICS 2024, Proceedings, Part II (Konferensbidrag)

Vidare till DOI

2023

Navya Sivaraman, Simin-Nadjm Tehrani (2023) 5G Handover: When Forward Security Breaks Proceedings of the 20th International Conference on Security and Cryptography, s. 503-510 (Konferensbidrag)