3 papers
cs.CR2025
CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
Ke Xie, Xingyi Zhao, Min-Yue Chen +7
The complexity, interdependence, and rapid evolution of 3GPP specifications present fundamental challenges for ensuring the security of modern cellular networks. Manual reviews and…
cs.CR2018
The Untold Secrets of Operational Wi-Fi Calling Services: Vulnerabilities, Attacks, and Countermeasures
Tian Xie, Guan-Hua Tu, Bangjie Yin +5
Since 2016, all of four major U.S. operators have rolled out nationwide Wi-Fi calling services. They are projected to surpass VoLTE (Voice over LTE) and other VoIP services in term…
cs.CR2017
The Insecurity of Home Digital Voice Assistants -- Amazon Alexa as a Case Study
Xinyu Lei, Guan-Hua Tu, Alex X. Liu +3
Home Digital Voice Assistants (HDVAs) are getting popular in recent years. Users can control smart devices and get living assistance through those HDVAs (e.g., Amazon Alexa, Google…