CORGIDS: A Correlation-based Generic Intrusion Detection System
TensorFI: A Configurable Fault Injector for TensorFlow Applications
DynPolAC: Dynamic Policy-based Access Control for IoT Systems
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Modeling Soft-Error Propagation in Programs
Modeling Input Dependent Error Propagation in Programs
Inferring Hierarchical Motifs from Execution Traces