Modeling Cellular Network Vulnerabilities and Security Patches Using Finite State Machines

Published in KIISC Conference on Information Security and Cryptography Summer (CISC-S), 2025