Author of the publication

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

, , , and . FPGA, page 209-212. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Global parameter estimation for a eukaryotic cell cycle model in systems biology., , , , , , and . SummerSim, page 45. SCS/ ACM, (2014)Using high-level synthesis and formal analysis to predict and preempt attacks on industrial control systems., , , and . FPGA, page 209-212. ACM, (2014)A hands-on modular laboratory environment to foster learning in control system security., , and . FIE, page 1-9. IEEE Computer Society, (2016)Using Heterogeneous Computing to Implement a Trust Isolated Architecture for Cyber-Physical Control Systems., , , and . CPSS@ASIACSS, page 25-35. ACM, (2015)Application-Level Autonomic Hardware to Predict and Preempt Software Attacks on Industrial Control Systems., , , and . DSN, page 136-147. IEEE Computer Society, (2014)Converting macromolecular regulatory models from deterministic to stochastic formulation., , , , and . SpringSim, page 385-392. SCS/ACM, (2008)A Framework to Analyze the Performance of Load Balancing Schemes for Ensembles of Stochastic Simulations., , , , , and . Int. J. Parallel Program., 43 (4): 597-630 (2015)Optimization and model reduction in the high dimensional parameter space of a budding yeast cell cycle model., , , , , and . BMC Syst. Biol., (2013)Predicting network modules of cell cycle regulators using relative protein abundance statistics., , , and . BMC Syst. Biol., 11 (1): 30:1-30:24 (2017)Stability and operating constraints of adaptive LMS-based feedback control., , and . Autom., 39 (4): 595-605 (2003)