Chauhan, D.V. 2025. Design and evaluation of a lightweight authentication protocol for GSM-based mobile devices using formal verification and statistical analysis. International Journal of Information Technology & Computer Engineering . 5, 2 (Oct. 2025), 8–17.