A Trusted Safety Verifier for Process Controller Code.

Stephen E. McLaughlin, Saman A. Zonouz, Devin J. Pohly, Patrick D. McDaniel

Browse the full NDSS paper archive.