Publications

Mujtahid Akon, Tianchang Yang, Yilu Dong, Syed Rafiul Hussain (2023). Formal Analysis of Access Control Mechanism of 5G Core Network. In CCS 23.