Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.

Zilin Shen, Imtiaz Karim, Elisa Bertino

Browse the full AsiaCCS paper archive.