OVRseen: Auditing Network Traffic and Privacy Policies in Oculus VR

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate

Understanding and Automatically Detecting Conflicting Interactions between Smart Home IoT Applications

Securing Smart Home Devices against Compromised Cloud Servers

Packet-Level Signatures for Smart Home Devices

Vigilia: Securing Smart Home Edge Computing

High frame-rate TCSPC-FLIM using a novel SPAD-based image sensor