VWAttacker: A Systematic Security Testing Framework for Voice over WiFi Implementations
TIMESAFE: Timing Interruption Monitoring and Security Assessment for Fronthaul Environments.
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations, (IEEE S&P), 2023
Security advisory from STMicroelectronics (TN1436-ST-PSIRT)
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices, (CCS), 2021
Qualcomm Security Bulletins
ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations, (ICDCS), 2021.
Opening Pandora’s Box through ATFuzzer: Dynamic Analysis of AT Interface for Android Smartphones, 2019.
Samsung Bug Bounty Reward
CVE:
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol, (CCS), 2019.