You are here

A Trusted Safety Verifier for Process Controller Code

Download File

Date: 22 Feb 2014

Document Type: Briefing Papers

Additional documents: PDF icon 02_2_slides.pdf

Associated event: NDSS Symposium 2014

Stephen McLaughlin, Saman Zonouz, Devin Pohly, Patrick McDaniel