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

ArXiv (abs)PDF HTML

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 36 371 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 18 27 0 24 Jun 2018
Learning Linear Temporal Properties Daniel Neider I. Gavran 41 118 0 11 Jun 2018
Concealing IMSI in 5G Network Using Identity Based Encryption Mohsin Khan Valtteri Niemi 33 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 53 300 0 26 Oct 2015

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.