Linked Presentation: Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language SpecificationsORANalyst: Systematic Testing Framework for Open RAN Implementations
