Picture for Syed Md Mukit Rashid

Syed Md Mukit Rashid

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

Add code
Oct 11, 2023
Viaarxiv icon