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

Year
2024
Type(s)
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
Url(s)
https://arxiv.org/abs/2310.04381
Download File