Zilin Shen

According to our database, Zilin Shen authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Quantum-Resistant Quantum Teleportation.

Xin Jin, Nitish Kumar Chandra, Mohadeseh Azari, Jinglei Cheng, Zilin Shen, Kaushik P. Seshadreesan, Junyu Liu

CoRR, April, 2026

WCDCAnalyzer: Scalable Security Analysis of Wi-Fi Certified Device Connectivity Protocols.

Zilin Shen, Imtiaz Karim, Elisa Bertino

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

2025

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution.

Qifan Zhang, Zilin Shen, Imtiaz Karim, Elisa Bertino, Zhou Li

CoRR, December, 2025

AKMA+: Security and Privacy-Enhanced and Standard-Compatible AKMA for 5G Communication.

Yang Yang, Guomin Yang, Yingjiu Li, Minming Huang, Zilin Shen, Imtiaz Karim, Ralf Sasse, David A. Basin, Elisa Bertino, Jian Weng, HweeHwa Pang, Robert H. Deng

Proceedings of the 34th USENIX Security Symposium, 2025

2024

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

Zilin Shen, Imtiaz Karim, Elisa Bertino

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

A Pro-Active Defense Framework for IoT Systems.

Elisa Bertino, Hyunwoo Lee, Mengdie Huang, Charalampos Katsis, Zilin Shen, Bruno Ribeiro, Daniel De Mello, Ashish Kundu

Proceedings of the 9th IEEE International Conference on Collaboration and Internet Computing, 2023

2021

Combating link dynamics for reliable lora connection in urban settings.

Shuai Tong, Zilin Shen, Yunhao Liu, Jiliang Wang

Proceedings of the ACM MobiCom '21: The 27th Annual International Conference on Mobile Computing and Networking, 2021