Navya Sivaraman
Doktorand
Publikationer
2026
JKA-HT: A Provably Secure Replay-Resilient Authentication Protocol for IoD
2026 IEEE 23RD CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC
(Konferensbidrag)
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
(Konferensbidrag)
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, s. 503-510
(Konferensbidrag)
https://dx.doi.org/10.5220/0012128400003555