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
- , Syed Rafiul Hussain
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
17
Link opens in a new tab
Scopus
citations