Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Lee W. Lerner' in GoogleThis author has not been identified. Look up 'Zane R. Franklin' in GoogleThis author has not been identified. Look up 'William T. Baumann' in GoogleThis author has not been identified. Look up 'Cameron D. Patterson' in Google

runs on WebDSL