6 citations · 9 across the 9 of their papers we have counts for
1 paper · 2 filters
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…