Ali Ranjbar

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Network Protocols

Finite State Machines

Top Venues

USENIX Security Symposium

Earth Sci. Informatics

Publications

Tianchang Yang, Syed Md. Mukit Rashid, Ali Ranjbar, Gang Tan, Syed Rafiul Hussain
ORANalyst: Systematic Testing Framework for Open RAN Implementations. USENIX Security Symposium (2024)
Hamed Nikravesh, Ali Ranjbar, Reza Azin
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. Earth Sci. Informatics 17 (2) (2024)
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, Syed Rafiul Hussain
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. USENIX Security Symposium (2024)
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, Syed Rafiul Hussain
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications. CoRR (2023)