PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification

Year
2021
Type(s)
Author(s)
Mitziu Echeverria, Zeeshan Ahmed , Bincheng Wang , M. Fareed Arif , Syed Rafiul Hussain, Omar Chowdhury
Source
The Network and Distributed System Security Symposium (NDSS), 2021.
Download FIle