Author of the publication

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

, , , , , , , , , , and . USENIX Security Symposium, USENIX Association, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices., , , , and . CCS, page 1082-1099. ACM, (2021)BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations., , , and . SP, page 3209-3227. IEEE, (2023)CoDesc: A Large Code-Description Parallel Dataset., , , , , , , , and . ACL/IJCNLP (Findings), volume ACL/IJCNLP 2021 of Findings of ACL, page 210-218. Association for Computational Linguistics, (2021)State Machine Mutation-based Testing Framework for Wireless Communication Protocols., , , , , , , and . CoRR, (2024)Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications., , , , , , , , , and 1 other author(s). CoRR, (2023)Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications., , , , , , , , , and 1 other author(s). USENIX Security Symposium, USENIX Association, (2024)Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands., , , , , , and . USENIX Security Symposium, USENIX Association, (2024)