A Trusted Safety Verifier for Process Controller Code
Security and Privacy Challenges in the Smart Grid