• Stealthy Attacks Against Robotic Vehicles Protected by Control-based Intrusion Detection Techniques

    standard
  • Out of Control: Stealthy Attacks on Robotic Vehicles Protected by Control-Based Techniques

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

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

    standard
  • DynPolAC: Dynamic Policy-based Access Control for IoT Systems

    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
  • Modular Protections Against Non-Control Data Attacks

    standard