%0 Conference Paper %1 conf/fpga/LernerFBP14 %A Lerner, Lee W. %A Franklin, Zane R. %A Baumann, William T. %A Patterson, Cameron D. %B FPGA %D 2014 %E Betz, Vaughn %E Constantinides, George A. %I ACM %K dblp %P 209-212 %T Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems. %U http://dblp.uni-trier.de/db/conf/fpga/fpga2014.html#LernerFBP14 %@ 978-1-4503-2671-1

@inproceedings{conf/fpga/LernerFBP14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lerner, Lee W. and Franklin, Zane R. and Baumann, William T. and Patterson, Cameron D.}, biburl = {https://www.bibsonomy.org/bibtex/289c39e3e170218e6caf490c06b78761b/dblp}, booktitle = {FPGA}, crossref = {conf/fpga/2014}, editor = {Betz, Vaughn and Constantinides, George A.}, ee = {https://doi.org/10.1145/2554688.2554759}, interhash = {14c4edf8f2bd470854d45e1694db3dcf}, intrahash = {89c39e3e170218e6caf490c06b78761b}, isbn = {978-1-4503-2671-1}, keywords = {dblp}, pages = {209-212}, publisher = {ACM}, timestamp = {2018-11-07T12:47:38.000+0100}, title = {Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems.}, url = {http://dblp.uni-trier.de/db/conf/fpga/fpga2014.html#LernerFBP14}, year = 2014 }