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]
@inproceedings{LernerFBP14,
title = {Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems},
author = {Lee W. Lerner and Zane R. Franklin and William T. Baumann and Cameron D. Patterson},
year = {2014},
doi = {10.1145/2554688.2554759},
url = {http://doi.acm.org/10.1145/2554688.2554759},
researchr = {https://researchr.org/publication/LernerFBP14},
cites = {0},
citedby = {0},
pages = {209-212},
booktitle = {The 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA '14, Monterey, CA, USA - February 26 - 28, 2014},
editor = {Vaughn Betz and George A. Constantinides},
publisher = {ACM},
isbn = {978-1-4503-2671-1},
}