Home
Research
Projects
Software Artifacts
Reported Vulnerabilities
Publications
Conference
Journal
Patent
Workshop
Industrial Conference
Poster
Students
Media Coverage
Teaching
Services
SyNSec Lab
Advice
CV
Contact Me
Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
Year
2024
Type(s)
Conference
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