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

Download PDF
Open Webpage

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

Published: 01 Jan 2024, Last Modified: 07 Mar 2025USENIX Security Symposium 2024EveryoneRevisionsBibTeXCC BY-SA 4.0