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
Freaky Leaky SMS: Extracting User Locations by Analyzing SMS Timings Evangelos Bitsikas Theodor Schnitzler Christina Pöpper Aanjhan Ranganathan 15 9 0 13 Jun 2023
MAVERICK: An App-independent and Platform-agnostic Approach to Enforce Policies in IoT Systems at Runtime M. Mazhar Li Li Endadul Hoque Omar Chowdhury 61 3 0 02 Feb 2023
You have been warned: Abusing 5G's Warning and Emergency Systems Evangelos Bitsikas Christina Pöpper 28 18 0 06 Jul 2022
AdaptOver: Adaptive Overshadowing Attacks in Cellular Networks Simon Erni Martin Kotuliak Patrick Leu Marc Roeschlin Srdjan Capkun AAML 42 39 0 09 Jun 2021
LTrack: Stealthy Tracking of Mobile Phones in LTE Martin Kotuliak Simon Erni Patrick Leu Marc Roeschlin Srdjan Capkun 132 44 0 09 Jun 2021