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

Published in The Network and Distributed System Security Symposium (NDSS) 2021, 2020

Recommended citation: Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury, NDSS 2021 http://farif.github.io/files/papers/Farif-NDSS21.pdf

Preprint paper will be uploaded soon.

Tool Link

 @inproceedings{arif2020,
  title={PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification},
  author={Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury},
  booktitle={The Network and Distributed System Security Symposium (NDSS)},
  year={2021},
  organization={Springer}
}