A Trusted Safety Verifier for Process Controller Code
Detecting False Data Injection Attacks on DC State Estimation