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