2 citations · 6 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode
Zilin Shen, Imtiaz Karim, Elisa Bertino
The IEEE 802.11 family of standards, better known as WiFi, is a widely used protocol utilized by billions of users. Previous works on WiFi formal verification have mostly focused o…
cs.IR2023★ 1 cited
SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis
Imtiaz Karim, Kazi Samin Mubasshir, Mirza Masfiqur Rahman +1
5G is the 5th generation cellular network protocol. It is the state-of-the-art global wireless standard that enables an advanced kind of network designed to connect virtually every…