Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications.
Abdullah Al IshtiaqSarkar Snigdha Sarathi DasSyed Md. Mukit RashidAli RanjbarKai TuTianwei WuZhezheng SongWeixuan WangMujtahid AkonRui ZhangSyed Rafiul HussainPublished in: USENIX Security Symposium (2024)