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

Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands., , , , , , and . USENIX Security Symposium, USENIX Association, (2024)CCCNet: An Attention Based Deep Learning Framework for Categorized Crowd Counting., , and . CoRR, (2019)PathOracle: A Deep Learning Based Trip Planner for Daily Commuters., , , , and . ECML/PKDD (6), volume 13718 of Lecture Notes in Computer Science, page 571-586. Springer, (2022)A Deep Learning Based Semi-Supervised Network Intrusion Detection System Robust to Adversarial Attacks., , and . NSysS, page 25-34. ACM, (2023)DeepAltTrip: Top-k Alternative Itineraries for Trip Recommendation., , and . CoRR, (2021)Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications., , , , , , , , , and 1 other author(s). CoRR, (2023)CCCNet: An Attention Based Deep Learning Framework for Categorized Counting of Crowd in Different Body States., , and . IJCNN, page 1-8. IEEE, (2020)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)ORANalyst: Systematic Testing Framework for Open RAN Implementations., , , , and . USENIX Security Symposium, USENIX Association, (2024)