Publications

Capture: Centralized Library Management for Heterogeneous IoT Devices. [ pdf, Github ]
Han Zhang, Abhijith Anilkumar, Matt Fredrikson, Yuvraj Agarwal.
To appear at 2021 USENIX Security Symposium.
Netter: Probabilistic, Stateful Network Models. [ pdf, Github, artifact, presentation ]
Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrickson, and Limin Jia.
22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21), January 2021.
Towards Comprehensive Repositories of Opinions. [ pdf ]
Han Zhang, Kasra Edalat Nejad, Amir Rahmati, and Harsha V. Madhyastha.
15th ACM Workshop on Hot Topics in Networks (HotNets'16), Atlanta, GA, November 2016.