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

    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