Paper Title Number 3

Published:


Publications

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

  • Authors: Zilin Shen, Imtiaz Karim, Elisa Bertino
  • Published in: ACM ASIA Conference on Computer and Communications Security (AsiaCCS’ 2024)
  • Link: PDF
  • Authors: Shuai Tong, Zilin Shen, Yunhao Liu, Jiliang Wang
  • Published in: Proceedings of the 27th Annual International Conference on Mobile Computing and Networking (MobiCom’ 2021)
  • Link: PDF