Navya Sivaraman
PhD student
Publications
2026
JKA-HT: A Provably Secure Replay-Resilient Authentication Protocol for IoD
2026 IEEE 23RD CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC
(Conference paper)
https://dx.doi.org/10.1109/CCNC65079.2026.11366466
2024
Formal Analysis of Julia Key Agreement Protocol
26th International Conference, ICICS 2024, Proceedings, Part II
(Conference paper)
https://dx.doi.org/10.1007/978-981-97-8801-9_9
2023
5G Handover: When Forward Security Breaks
Proceedings of the 20th International Conference on Security and Cryptography, p. 503-510
(Conference paper)
https://dx.doi.org/10.5220/0012128400003555