Next-generation (NextG) cellular networks face two converging challenges: the transition to post-quantum (PQ) security and the erosion of centralized trust as base stations become more exposed, cores span multiple administrative domains, and network operation increasingly incorporates distributed intelligence. Simply r...
Imtiaz Karim, Rouzbeh Behnia, A. A. Yavuz et al.· Proceedings of the 2026 ACM...· 0 citations
Preparing 5G for quantum adversaries requires more than substituting quantum-resistant algorithms: migration must preserve security while meeting operational constraints that differ across network functions. This poster presents an area-based framework covering bootstrapping, subscriber identity protection, primary aut...
R. Saha, Imtiaz Karim, B. Thuraisingham· Proceedings of the 2026 ACM...· 0 citations
The Precision Time Protocol (PTP) provides the time and phase synchronization required by disaggregated Open Radio Access Networks (O-RAN). Yet, in current open fronthaul deployments, PTP traffic lacks mandatory authentication and integrity protection, leaving synchronization vulnerable to spoofing, replay, and delay m...
Yiwei Zhang, Enrico Pisanti, Imtiaz Karim et al.· 0 citations
Frontier AI models have advanced rapidly, but they still struggle with telecom-specific tasks. We present Open Telco (OTel), an open telecom AI resource with derived datasets for retrieval, reranking, instruction tuning, and safety/abstention, plus 30 full-parameter post-trained baselines across embedding, reranking, a...
Farbod Tavakkoli, Roderic W. Paulk, J. Terrazas et al.· 0 citations
An exploratory human-centered study of experienced users of Tamarin, ProVerif, and related protocol verifiers reveals usability barriers across the verification workflow, including difficulties debugging non-termination and performance issues, and the lack of systematic methods for validating formal models against real...
Tarikul Islam, Y. Islam, Khandakar Ashrafi Akbar et al.· 0 citations
A2ABreak is presented, the first rigorous systematic security analysis of the A2A protocol, and introduces a novel framework that utilizes an LLM-assisted extraction of a verified finite-state machine directly from the natural-language specification.
Phan- tomCall is presented, a black-box attack that perturbs the FCG of Windows PE malware by injecting fully executable dummy functions at targeted call sites, adding new nodes and edges to both the CFG and FCG while preserving program semantics.
Md Ajwad Akil, Adrian Shuai Li, Imtiaz Karim et al.· 0 citations
Charting these challenges provides a roadmap toward trustworthy autonomous agent deployment: security must become a verifiable property of the architectures, protocols, and runtimes that govern agent behavior, rather than an optional layer of guidance.
