6 citations · 12 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CR2024★ 6 cited
State Machine Mutation-based Testing Framework for Wireless Communication Protocols
Syed Md Mukit Rashid, Tianwei Wu, Kai Tu +5
This paper proposes Proteus, a protocol state machine, property-guided, and budget-aware automated testing approach for discovering logical vulnerabilities in wireless protocol imp…
cs.CR2024★ 5 cited
Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator
Rabiah Alnashwan, Yang Yang, Yilu Dong +3
Consumers seeking a new mobile plan have many choices in the present mobile landscape. The Mobile Virtual Network Operator (MVNO) has recently gained considerable attention among t…