Paper-Conference

Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator

State Machine Mutation-based Testing Framework for Wireless Communication Protocols

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

Formal Analysis of Access Control Mechanism of 5G Core Network