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

6 October 2023

Abdullah Al Ishtiaq

Syed Md Mukit Rashid

Kai Tu

Tianwei Wu

Syed Rafiul Hussain

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

1 / 1 papers shown

Title
Stanza: A Python Natural Language Processing Toolkit for Many Human Languages Peng Qi Yuhao Zhang Yuhui Zhang Jason Bolton Christopher D. Manning AI4TS 213 1,656 0 16 Mar 2020