Publications

TEO: Ephemeral Ownership for IoT Devices to Provide Granular Data Control. [ pdf, Github ]
Han Zhang, Yuvraj Agarwal, Matt Fredrikson.
To appear in the 20th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'22), June 2022.
Demo: Protecting User Data through Ephemeral Ownership of IoT Devices. [ pdf ]
Han Zhang, Yuvraj Agarwal, Matt Fredrikson.
To appear in the 20th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys'22), June 2022.
Capture: Centralized Library Management for Heterogeneous IoT Devices. [ pdf, Github, presentation ]
Han Zhang, Abhijith Anilkumar, Matt Fredrikson, Yuvraj Agarwal.
30th USENIX Security Symposium (USENIX'21), August 2021.
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.