You have been warned: Abusing 5G's Warning and Emergency Systems

E Bitsikas, C Pöpper - Proceedings of the 38th Annual Computer Security …, 2022 - dl.acm.org
The Public Warning System (PWS) is an essential part of cellular networks and a country's
civil protection. Warnings can notify users of hazardous events (eg, floods, earthquakes) and …

Uncovering insecure designs of cellular emergency services (911)

Y Hu, MY Chen, GH Tu, CY Li, S Wang, J Shi… - Proceedings of the 28th …, 2022 - dl.acm.org
Cellular networks that offer ubiquitous connectivity have been the major medium for
delivering emergency services. In the US, mobile users can dial an emergency call with 911 …

Uncovering Problematic Designs Hindering Ubiquitous Cellular Emergency Services Access

Y Hu, MY Chen, H Yan, CY Cheng, GH Tu… - Proceedings of the 30th …, 2024 - dl.acm.org
Cellular networks provide the most accessible emergency services with ubiquitous
coverage, yet their emergency-specific designs remain largely unexplored. To systematically …

Taming the Insecurity of Cellular Emergency Services (9-1-1): From Vulnerabilities to Secure Designs

MY Chen, Y Hu, GH Tu, CY Li, S Wang… - IEEE/ACM …, 2024 - ieeexplore.ieee.org
Cellular networks, vital for delivering emergency services, enable mobile users to dial
emergency calls (eg, 9–1-1 in the US), which are forwarded to public safety answer points …

Exploring the Impact of Big Data Analytics on Emergency Calls within Telecommunication Systems

E Yakar, HH Kilinc - Procedia Computer Science, 2024 - Elsevier
Abstract Big Data Analytics is a critical function in Telecommunication Systems in order to
monitor, measure and report the system's performance for various services. Collecting data …

Property Guided Secure Configuration Space Search

Y Li, K Hou, Y He, Y Chen, H Zhou - International Conference on …, 2024 - Springer
Complex reactive systems such as 5G cellular networks must have flexible configuration
options to fit different deployment scenarios. However, not every possible configuration …

Identify spatio-temporal properties of network traffic by model checking

Y Zheke, N Jun, L Xurong, Y Fangmeng - The Journal of Supercomputing, 2023 - Springer
Cellular networks have been widely deployed and are under ever-growing pressure from
increasing energy consumption. Identifying the spatio-temporal properties of network traffic …

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments

X Wang, Y Xu, J Liu, G Wu… - 2023 18th International …, 2023 - ieeexplore.ieee.org
Ensuring the safety of the following operation under moving block signal is very important for
safe operation. Now that the Train Control system under Moving Block Signal (TC-MBS) is a …

Identify spatio-temporal properties of network traffic in cellular network by model checking

Z Yuan, J Niu, X Lu, F Yang - 2022 - researchsquare.com
Cellular networks have been widely deployed and are under ever-growing communication
pressure. Detecting traffic hotspots or other essential characteristics of network traffic …

Formal modeling of mobile agent control system in uncertain environment

X Wang, Y Xu, K Wang, J Liu, G Wu - Machine Learning, Multi …, 2023 - World Scientific
In a stochastic uncertainty environment, if the state transition of the mobile agent control
system has only one preset plan, once this plan fails, the system will immediately enter the …