• Design-Level and Code-Level Security Analysis of IoT Devices

    standard
  • SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework

    standard
  • Formal Diagnosis of Hardware Transient Errors in Programs

    standard
  • Talk: Formal methods for Fault and Attack Injection in Applications

    standard
  • Discovering Application-level Insider Attacks Using Symbolic Execution

    standard
  • SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework

    standard