6 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Shiyu Yuan, Jingda Yang, Sudhanshu Arya +2
Formal method-based analysis of the 5G Wireless Communication Protocol is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment,…