17 citations · 23 across the 15 of their papers we have counts for
4 papers · 1 filter
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…
Zero-Trust Strategies for O-RAN Cellular Networks: Principles, Challenges and Research Directions
Charalampos Katsis, Imtiaz Karim, Elisa Bertino
Cellular networks are foundational to modern communication, supporting a broad range of applications, from civilian use to enterprise systems and military tactical networks. The ad…
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…