System and Network Security (SysNetS) lab is part of the Department of Computer Science at the University of Texas at Dallas lead by PI: Imtiaz Karim .
SysNetS lab focuses on ensuring the security and privacy of wireless communication protocols (e.g., cellular networks-4G/5G, Bluetooth, VoWiFi, vehicular, WiFi, and IoT) with respect to their design and implementation. The aim is to develop tools that systematically analyze real-world systems and widely used protocols using formal verification, program analysis, machine learning, natural language processing, and software testing techniques. Furthermore, with the advent of the next generation of networks (6G and beyond), the lab’s future goal is to ensure the resilience (reliability, adaptability, and security) of future network generations and develop protocols and systems that are robust and secure by design (see Research).
We are looking for passionate Ph.D. Master’s and Bachelor’s students at UTD to join the team (more info) !
November 11, 2025
Imtiaz and SysNets Lab received research award from Polaris Wireless ($51.7K) for research on Fake Base Station Detection!
November 11, 2025
Imtiaz gave an invited talk at IEEE Workshop on Distributed, Secure, and Trustworthy Intelligence with LLMs, co-located with TPS 2025.
November 6, 2025
TIMESAFE has been accepted to ACM TOPS!
October 18, 2025
Imtiaz Received the Distinguished Reviewer Award from SecDev 2025.
September 23, 2025
LLMalMorph has been accepted to IEEE TPS! Congratulations Ajwad!