Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. - Abdullah Al Ishtiaq; Sarkar Snigdha Sarathi Das; Syed Md. Mukit Rashid; Ali Ranjbar; Kai Tu; Tianwei Wu; Zhezheng Song; Weixuan Wang; Mujtahid Akon; Rui Zhang 037; Syed Rafiul Hussain (USENIX Security Symposium, 2024)

ORANalyst: Systematic Testing Framework for Open RAN Implementations. - Tianchang Yang; Syed Md. Mukit Rashid; Ali Ranjbar; Gang Tan; Syed Rafiul Hussain (USENIX Security Symposium, 2024)

Optimizing the wells location using the Metaheuristic algorithms, as well as optimizing the drilling time of production and injection wells in one of the reservoirs in south west of Iran. - Hamed Nikravesh; Ali Ranjbar; Reza Azin (Earth Sci. Informatics, 2024)

Stateful Analysis and Fuzzing of Commercial Baseband Firmware. - Ali Ranjbar; Tianchang Yang; Kai Tu; Saaman Khalilollahi; Syed Rafiul Hussain (SP, 2025)

FPGA-Based Multiplier with a New Approximate Full Adder for Error-Resilient Applications. - Ali Ranjbar; Elham Esmaeili; Roghayeh Rafieisangari; Nabiollah Shiri (CoRR, 2025)