4 papers
Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
Qifan Zhang, Zilin Shen, Imtiaz Karim +2
The Domain Name System Security Extensions (DNSSEC) are critical for preventing DNS spoofing, yet its specifications contain ambiguities and vulnerabilities that elude traditional…
VWAttacker: A Systematic Security Testing Framework for Voice over WiFi User Equipments
Imtiaz Karim, Hyunwoo Lee, Hassan Asghar +4
We present VWAttacker, the first systematic testing framework for analyzing the security of Voice over WiFi (VoWiFi) User Equipment (UE) implementations. VWAttacker includes a comp…
How Feasible is Augmenting Fake Nodes with Learnable Features as a Counter-strategy against Link Stealing Attacks?
Mir Imtiaz Mostafiz, Imtiaz Karim, Elisa Bertino
Graph Neural Networks (GNNs) are widely used and deployed for graph-based prediction tasks. However, as good as GNNs are for learning graph data, they also come with the risk of pr…
TIMESAFE: Timing Interruption Monitoring and Security Assessment for Fronthaul Environments
Joshua Groen, Simone Di Valerio, Imtiaz Karim +9
5G and beyond cellular systems embrace the disaggregation of Radio Access Network (RAN) components, exemplified by the evolution of the fronthaul (FH) connection between cellular b…