• CORGIDS: A Correlation-based Generic Intrusion Detection System

    standard
  • TensorFI: A Configurable Fault Injector for TensorFlow Applications

    standard
  • DynPolAC: Dynamic Policy-based Access Control for IoT Systems

    standard
  • ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications

    standard
  • Modeling Soft-Error Propagation in Programs

    standard
  • Modeling Input Dependent Error Propagation in Programs

    standard
  • Inferring Hierarchical Motifs from Execution Traces

    standard