3 papers
cs.PL2021
C11Tester: A Race Detector for C/C++ Atomics Technical Report
Weiyu Luo, Brian Demsky
Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can exp…
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…