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

Lee W. Lerner, Zane R. Franklin, William T. Baumann, Cameron D. Patterson

Browse the full FPGA paper archive.