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.

Education

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

Publications

• 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

Awards

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