1 citations · 2 across the 6 of their papers we have counts for
6 papers
A2ABreak: Systematic Security Analysis of the A2A Protocol
Alireza Lotfi, Mirza Masfiqur Rahman, Imtiaz Karim +1
The Agent2Agent (A2A) protocol, now governed by the Linux Foundation, is an open standard that enables autonomous AI agents to discover, authenticate with, and delegate tasks to on…
A Lightweight Post-Quantum Authentication Framework for 5G Base Station Bootstrapping
Saleh Darzi, Mirza Masfiqur Rahman, Imtiaz Karim +3
The absence of authenticated bootstrapping between User Equipments (UEs) and Base Stations (BSs) in 5G leaves System Information Block (SIB) broadcasts unprotected, enabling fake B…
Future-Proofing Authentication Against Insecure Bootstrapping for 5G Networks: Feasibility, Resiliency, and Accountability
Saleh Darzi, Mirza Masfiqur Rahman, Imtiaz Karim +3
The 5G protocol lacks a robust base station (BS) authentication mechanism during the initial bootstrapping phase, leaving it susceptible to fake BSs, spoofed broadcasts, and large-…
Code Hallucination
Mirza Masfiqur Rahman, Ashish Kundu
Generative models such as large language models are extensively used as code copilots and for whole program generation. However, the programs they generate often have questionable…
CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications
Mirza Masfiqur Rahman, Imtiaz Karim, Elisa Bertino
In recent years, there has been a growing focus on scrutinizing the security of cellular networks, often attributing security vulnerabilities to issues in the underlying protocol d…
SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis
Imtiaz Karim, Kazi Samin Mubasshir, Mirza Masfiqur Rahman +1
5G is the 5th generation cellular network protocol. It is the state-of-the-art global wireless standard that enables an advanced kind of network designed to connect virtually every…