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

Year

2021

Type(s)

Conference proceedings

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.