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
Cryptographic protocol verification tools are widely used to analyze the security of complex protocols, yet how users interact with these tools remains comparatively understudied. We present an exploratory human-centered study of experienced users of Tamarin, ProVerif, and related protocol verifiers. Our survey include...
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.
