Linked Presentation: Athena: Analyzing and Quantifying Side Channels of Transport Layer ProtocolsHermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language SpecificationsIn Wallet We Trust: Bypassing the Digital Wallets Payment Security for Free ShoppingORANalyst: Systematic Testing Framework for Open RAN Implementations
