Lee W. Lerner, Zane R. Franklin, William T. Baumann, Cameron D. Patterson. Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems. In Vaughn Betz, George A. Constantinides, editors, The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014. pages 209-212, ACM, 2014. [doi]
Abstract is missing.