TY  - RPRT
TI  - Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
AU  - Abdullah Al Ishtiaq
AU  - Sarkar Snigdha Sarathi Das
AU  - Syed Md Mukit Rashid
AU  - Ali Ranjbar
AU  - Kai Tu
AU  - Tianwei Wu
AU  - Zhezheng Song
AU  - Weixuan Wang
AU  - Mujtahid Akon
AU  - Rui Zhang
AU  - Syed Rafiul Hussain
PY  - 2023
UR  - https://arxiv.org/abs/2310.04381
ID  - 2310.04381
ER  -