Sign in
Ali Ranjbar
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Network Protocols
Finite State Machines
Security Analysis
Encryption Scheme
Top Venues
CoRR
</>
Publications
</>
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)