Session 8: CPS Security Panel

file

Visible to the public Designing-in Cyber Security - Darren Cofer

Submitted by dcofer on Fri, 10/18/2013 - 10:58am. Contributor:

Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.