research
∙
11/09/2021
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Event-driven architectures are broadly used for systems that must respon...
share
research
∙
02/16/2021
C11Tester: A Race Detector for C/C++ Atomics Technical Report
Writing correct concurrent code that uses atomics under the C/C++ memory...
research
∙
06/20/2020
Securing Smart Home Edge Devices against Compromised Cloud Servers
Smart home IoT systems often rely on cloud-based servers for communicati...
research
∙
07/26/2019