Kavli Affiliate: Zeeshan Ahmed | First 5 Authors: Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain | Summary: End-user-devices in the current cellular ecosystem are prone to many different vulnerabilities across different generations and protocol layers. Fixing these vulnerabilities retrospectively can be expensive, challenging, or just infeasible. A pragmatic approach for […]
Continue.. PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification