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
Syed Md Mukit Rashid, Tianwei Wu, Kai Tu, Abdullah Al Ishtiaq, Ridwanul Hasan Tanvir, Yilu Publications Dong, Omar Chowdhury, and Syed Rafiul Hussain
ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations
The 41st IEEE International Conference on Distributed Computing Systems (ICDCS), 2021.
Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino
Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
The Network and Distributed System Security Symposium (NDSS), 2021.
Mitziu Echeverria, Zeeshan Ahmed , Bincheng Wang , M. Fareed Arif , Syed Rafiul Hussain, Omar Chowdhury
Mitziu Echeverria, Zeeshan Ahmed , Bincheng Wang , M. Fareed Arif , Syed Rafiul Hussain, Omar Chowdhury
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol
The 26th ACM Conference on Computer and Communications Security (CCS), 2019
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, and Elisa Bertino
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, and Elisa Bertino
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE
Qualcomm Security Summit, 2018
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, and Elisa Bertino
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, and Elisa Bertino
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE
The 25th Network and Distributed System Security Symposium (NDSS), 2018
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, and Elisa Bertino
Syed Rafiul Hussain, Omar Chowdhury, Shagufta Mehnaz, and Elisa Bertino