Blocking unsafe behaviors in control systems through static and dynamic policy enforcement.

Stephen McLaughlin

Browse the full DAC paper archive.