Publications

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

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

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

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