Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications

Year

2024

Type(s)

Conference proceedings

Author(s)

Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Ali Ranjbar, Kai Tu Tianwei Wu, Zhezheng Song, Weixuan Wang, Mujtahid Al-Islam Akon Rui Zhang, and Syed Rafiul Hussain

Source

USENIX Security Symposium (USENIX Security), 2024