Design-Level and Code-Level Security Analysis of IoT Devices
CORGIDS: A Correlation-based Generic Intrusion Detection System
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Formal Security Analysis of Smart Embedded Systems
Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems
Talk: Model-based Intrusion Detection System (IDS) for Smart Meters
A Model-based Intrusion Detection System for Smart Meters
A Model for Security Analysis of Smart Meters