Han Zhang
Han's Publications
2022
TEO: Ephemeral Ownership for IoT Devices to Provide Granular Data Control
Matt Fredrickson
CONFERENCE
MobiSys 2022 -- 20th ACM International Conference on Mobile Systems, Applications, and Services, 2022
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