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