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 general area of network security. More specifically, my focus is on analyzing the security and privacy of wireless communication protocols with respect to their documentation design and implementation. The methods used include formal verification and protocol fuzzing.

Education

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

Work Experience

• Network Security Research Intern, Cisco, 2024 Summer

Publications

• IoTWiFiVerifier: Scalable Security Analysis and Verification of IoT Wi-Fi Protocol
  Zilin Shen, Imtiaz Karim, Elisa Bertino
  under submission
  

• 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 2024