(2021). Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. In VMCAI 2022.

Code Dataset

(2021). OVRseen: Auditing Network Traffic and Privacy Policies in Oculus VR. In USENIX Security 2022.

PDF Code Dataset

(2021). FingerprinTV: Fingerprinting Smart TV Apps. In PoPETS 2022.

PDF Dataset

(2020). Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications. In ESEC/FSE 2020.

PDF Code Dataset Slides Video

(2020). Securing Smart Home Devices against Compromised Cloud Servers. In USENIX HotEdge'20.

PDF Poster

(2020). Packet-Level Signatures for Smart Home Devices. In NDSS 2020.

PDF Code Dataset Slides Video

(2018). Vigilia: Securing Smart Home Edge Computing. In SEC 2018.


(2012). A Time-Resolved, Low-Noise Single-Photon Image Sensor Fabricated in Deep-Submicron CMOS Technology. In IEEE Journal of Solid-State Circuits.


(2010). High frame-rate TCSPC-FLIM using a novel SPAD-based image sensor. In SPIE NanoScience + Engineering.