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

    standard
  • CORGIDS: A Correlation-based Generic Intrusion Detection System

    standard
  • ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

    standard
  • Formal Security Analysis of Smart Embedded Systems

    standard
  • Flexible Intrusion Detection Systems for Memory-Constrained Embedded Systems

    standard
  • Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

    standard
  • A Model-based Intrusion Detection System for Smart Meters

    standard
  • A Model for Security Analysis of Smart Meters

    standard