Publications : Software Security

> Publications > Software Security

State Machine Mutation-based Testing Framework for Wireless Communication Protocols

The ACM Conference on Computer and Communications Security (CCS), 2024
Syed Md Mukit Rashid, Tianwei Wu, Kai Tu, Abdullah Al Ishtiaq, Ridwanul Hasan Tanvir, Yilu Publications Dong, Omar Chowdhury, and Syed Rafiul Hussain
Conference Formal VerificationNetwork SecuritySoftware Security

ORANalyst: Systematic Testing Framework for Open RAN Implementations

USENIX Security Symposium (USENIX Security), 2024
Tianchang Yang, Syed Md Mukit Rashid, Ali Ranjbar, Gang Tan, and Syed Rafiul Hussain
Conference Network SecuritySoftware Security

Athena: Analyzing and Quantifying Side Channels of Transport Layer Protocols

USENIX Security Symposium (USENIX Security), 2024
Feiyang Yu, Quan Zhou, Syed Rafiul Hussain, and Danfeng Zhang
Conference Network SecuritySoftware Security

Cracking the 5G Fortress: Peering Into 5G’s Vulnerability Abyss

BlackHat USA, 2024
Kai Tu, Abdullah Al Ishtiaq, Syed Md Mukit Rashid, Yilu Dong, Weixuan Wang, Tianwei Wu, and Syed Rafiul Hussain
Industrial Conference Network SecuritySoftware Security
Publisher's website

Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands

USENIX Security Symposium (USENIX Security), 2024
Kai Tu, Abdullah Al Ishtiaq, Syed Md Mukit Rashid, Yilu Dong, Weixuan Wang, Tianwei Wu, and Syed Rafiul Hussain
Conference Distinguished Paper Award Honorable MentionNetwork SecuritySoftware Security