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

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

1 January 2021

Mitziu Echeverria

Syed Rafiul Hussain

Omar Chowdhury

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

5 / 5 papers shown

Title
A Formal Analysis of 5G Authentication David Basin Jannik Dreier L. Hirschi S. Radomirovic R. Sasse Vincent Stettler 29 365 0 27 Jun 2018
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring Stefano Calzavara R. Focardi Matteo Maffei Clara Schneidewind M. Squarcina M. Tempesta 13 27 0 24 Jun 2018
Learning Linear Temporal Properties Daniel Neider I. Gavran 16 118 0 11 Jun 2018
Concealing IMSI in 5G Network Using Identity Based Encryption Mohsin Khan Valtteri Niemi 28 10 0 06 Aug 2017
Practical Attacks Against Privacy and Availability in 4G/LTE Mobile Communication Systems Altaf Shaik Ravishankar Borgaonkar Nadarajah Asokan Valtteri Niemi Jean-Pierre Seifert 33 299 0 26 Oct 2015