Design-Level and Code-Level Security Analysis of IoT Devices
SymPLFIED: Symbolic Program Level Fault Injection and Error Detection Framework
Formal Diagnosis of Hardware Transient Errors in Programs
Talk: Formal methods for Fault and Attack Injection in Applications
Discovering Application-level Insider Attacks Using Symbolic Execution
SymPLFIED: Symbolic Program-Level Fault Injection and Error Detection Framework