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

2. Combating link dynamics for reliable lora connection in urban settings

• 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