1

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions

HAMIDS: Hierarchical Monitoring Intrusion Detection System for Industrial Control Systems

Limiting The Impact of Stealthy Attacks on Industrial Control Systems

Towards High-Interaction Virtual ICS Honeypots-in-a-Box

On Attacker Models and Profiles for Cyber-Physical Systems

The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment

Assessing the effect of cyber-physical attacks on water distribution systems

SWaT: A Water Treatment Testbed for Research and Training on ICS Security

Water Treatment, Distribution, and Electric Power Testbeds for Research in the Design of Secure Interdependent Critical Infrastructures

Attacking Fieldbus Communications in ICS: Applications to the SWaT Testbed