Publications

(2026). LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software. In ACL 26.
(2026). Guardians of the Air: In-Device Detection of 5G Control-Plane Threats. In SP 26.
(2026). Practical Attacks on AFC Clients in Wi-Fi Access Points. In DISS.
(2026). A Systematic Threat Analysis and Practical Attacks on Automated Frequency Coordination Systems. In NSDI 26.
(2025). GPS Spoofing Attacks on Automated Frequency Coordination System in Wi-Fi 6E and Beyond. In EW 25.
(2025). CoreCrisis: Threat-Guided and Context-Aware Iterative Learning and Fuzzing of 5G Core Networks. In USENIX Security 25.
(2025). Evaluating Time-Bounded Defense Against RRC Relay in 5G Broadcast Messages. In WiSec 25.
(2024). Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator. In CCS 24.
(2024). State Machine Mutation-based Testing Framework for Wireless Communication Protocols. In CCS 24.
(2024). Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands. In USENIX Security 24. Distinguished Paper Award.