Login / Signup
Zilin Shen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Model Checker
Temporal Logic
Formal Verification
Wifi
Top Venues
CIC
CoRR
AsiaCCS
MobiCom
</>
Publications
</>
Zilin Shen
,
Imtiaz Karim
,
Elisa Bertino
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.
AsiaCCS
(2024)
Elisa Bertino
,
Hyunwoo Lee
,
Mengdie Huang
,
Charalampos Katsis
,
Zilin Shen
,
Bruno Ribeiro
,
Daniel De Mello
,
Ashish Kundu
A Pro-Active Defense Framework for IoT Systems.
CIC
(2023)
Zilin Shen
,
Imtiaz Karim
,
Elisa Bertino
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode.
CoRR
(2023)
Shuai Tong
,
Zilin Shen
,
Yunhao Liu
,
Jiliang Wang
Combating link dynamics for reliable lora connection in urban settings.
MobiCom
(2021)