Linked Presentation: Logic Gone Astray: A Security Analysis Framework for the Control Plane Protocols of 5G Basebands
