Muhammad Najam-ul-Islam, Madiha Khalid, Umar Mujahid Khokhar. Formal Security Analysis of Generalized Ultralightweight Mutual Authentication Protocol. In Kohei Arai, editor, Proceedings of the Future Technologies Conference, FTC 2023, Vancouver, BC, Canada, 19-20 October 2023, Volume 2. Volume 814 of Lecture Notes in Networks and Systems, pages 566-573, Springer, 2023. [doi]
Abstract is missing.