3 papers
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.CR2020
Securing Smart Home Edge Devices against Compromised Cloud Servers
Rahmadi Trimananda, Ali Younis, Thomas Kwa +2
Smart home IoT systems often rely on cloud-based servers for communication between components. Although there exists a body of work on IoT security, most of it focuses on securing…
cs.NI2019
PingPong: Packet-Level Signatures for Smart Home Device Events
Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou +1
Smart home devices are vulnerable to passive inference attacks based on network traffic, even in the presence of encryption. In this paper, we present PINGPONG, a tool that can aut…