Han Zhang
🌐
Han's Publications
2021
Capture: Centralized Library Management for Heterogeneous IoT Devices
Han Zhang
, 
Abhijith Anilkumar
, 
Matt Fredrickson
, 
Yuvraj Agarwal
CONFERENCE
USENIX Security 2021 -- The 30th USENIX Security Symposium, 2021
Netter: Probabilistic, Stateful Network Models
Han Zhang
, 
Chi Zhang
, 
Arthur Azevedo de Amorim
, 
Yuvraj Agarwal
, 
Matt Fredrickson
, 
Limin Jia
CONFERENCE
VMCAI 2021 -- The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation