29 citations · 52 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Rahmadi Trimananda, Weiyu Luo, Brian Demsky +1
Event-driven architectures are broadly used for systems that must respond to events in the real world. Event-driven applications are prone to concurrency bugs that involve subtle e…
cs.CR2021★ 6 cited
OVRseen: Auditing Network Traffic and Privacy Policies in Oculus VR
Rahmadi Trimananda, Hieu Le, Hao Cui +3
Virtual reality (VR) is an emerging technology that enables new applications but also introduces privacy risks. In this paper, we focus on Oculus VR (OVR), the leading platform in…