About Me

Hi, welcome to Zilin Shen’s homepage!

I am currently a Ph.D. student in the Department of Computer Science at Purdue University. My advisor is Professor. Elisa Bertino.

I received my Bachelor’s Degree from Tsinghua University in 2022, where I was working with Professor. Jiliang Wang.

My research interests lie in the area of Network Security. I am working on projects that use formal verification to enhance the security of Wi-Fi protocol.


  • PhD in Computer Science, Purdue University, 2022-present
  • B.E. in Software Engineering, Tsinghua University, 2018-2022


  • Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode
    Zilin Shen, Imtiaz Karim, Elisa Bertino
    ACM ASIA Conference on Computer and Communications Security (AsiaCCS’ 2024)
    (accpetance rate: 65/301=21%)
    Link: PDF

  • Combating link dynamics for reliable lora connection in urban settings
    Shuai Tong, Zilin Shen, Yunhao Liu, Jiliang Wang
    Proceedings of the 27th Annual International Conference on Mobile Computing and Networking (MobiCom’ 2021)
    Link: PDF


Andrew’s fellowship, Purdue Univerity, funding from 2022 to 2026