hansomesong/hermes-spec-to-fsm

Hermes

This is the official repository of the paper titled "Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications" (USENIX Security '24).

System

• OS: Ubuntu 22.04.3 LTS
• GPU: NVIDIA RTX A6000
• CUDA Version: 12.2
• NVIDIA Driver version: 535.86.05

Components

Annotated data

data contains the annotated data for 4G NAS, 5G NAS and 5G RRC specifications.

NEUTREX

neutrex contains the implementation of NEUTREX. It also provides instructions to run it.

Synthesizers

We will publish the implementation of the synthesizers soon.

Citation

@article{hermes-spec-to-fsm,
  title={Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications},
  author={Ishtiaq, Abdullah Al and Das, Sarkar Snigdha Sarathi and Rashid, Syed Md Mukit and Ranjbar, Ali and Tu, Kai and Wu, Tianwei and Song, Zhezheng and Wang, Weixuan and Akon, Mujtahid and Zhang, Rui and Hussain, Syed Rafiul},
  journal={arXiv preprint arXiv:2310.04381},
  year={2023}
}