Formal Analysis of Access Control Mechanism of 5G Core Network. - Mujtahid Akon; Tianchang Yang; Yilu Dong; Syed Rafiul Hussain (CCS, 2023)

Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator. - Rabiah Alnashwan; Yang Yang 138; Yilu Dong; Prosanta Gope 001; Behzad Abdolmaleki; Syed Rafiul Hussain (CCS, 2024)

State Machine Mutation-based Testing Framework for Wireless Communication Protocols. - Syed Md. Mukit Rashid; Tianwei Wu; Kai Tu; Abdullah Al Ishtiaq; Ridwanul Hasan Tanvir; Yilu Dong; Omar Chowdhury; Syed Rafiul Hussain (CCS, 2024)

Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands. - Kai Tu; Abdullah Al Ishtiaq; Syed Md. Mukit Rashid; Yilu Dong; Weixuan Wang; Tianwei Wu; Syed Rafiul Hussain (USENIX Security Symposium, 2024)

Evaluating Time-Bounded Defense Against RRC Relay in 5G Broadcast Messages. - Yilu Dong; Tao Wan 004; Tianwei Wu; Syed Rafiul Hussain (WISEC, 2025)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol. - Yilu Dong; Rouzbeh Behnia; Attila A. Yavuz; Syed Rafiul Hussain (CoRR, 2025)