Navya Sivaraman

Publications

2024

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

2023

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