Warning: Creating default object from empty value in /home/users/mest/htdocs/wp-content/themes/bizlite-pro/admin/redux/ReduxCore/inc/class.redux_filesystem.php on line 28
Hardware Security Verification using Formal Methods – MEST Center

1:00pm to 4:00pm EST

Thursday, May 28th, 2020

This training will be conducted online through Zoom due to COVID-19

Presenter: Dr. Prabhat Mishra, University of Florida

Who can attend: For Government and DIB Employees Only

To register email: Amanda Moscrip at amosc989@ufl.edu, include name, affiliation, and name of the organization.

Deadline: Register ASAP – Seating is limited.

Description:

When it comes to PCB hardware vulnerabilities verification, physical inspection is among the most promising technique to verify the hardware structure. This training will provide the participants with a deep understanding of the advanced physical inspection methods using various imaging modalities to authenticate PCB components and the connections between them. Those who complete this training will become familiar with all important aspects of PCB physical inspection and challenges associated with current commercially available techniques. Training will include oral presentation as well as pre-recorded videos from real world examples done in FICS Research.   This training has two related objectives: (i) basics of formal methods, and (ii) formal verification of hardware security. While formal methods are based on complex mathematical principles, this presentation will cover the basics of formal verification techniques using layman’s terms and simple illustrative examples. The second part of the webinar will focus on application of formal methods for hardware security verification. Specifically, it will present hardware security verification using a wide variety of formal methods including model (property) checking, equivalence checking, satisfiability (SAT) solving, and theorem proving. The audience will see formal verification in action – step-by-step demo of applying formal security verification on hardware designs.


When it comes to PCB hardware vulnerabilities verification, physical inspection is among the most promising technique to verify the hardware structure. This training will provide the participants with a deep understanding of the advanced physical inspection methods using various imaging modalities to authenticate PCB components and the connections between them. Those who complete this training will become familiar with all important aspects of PCB physical inspection and challenges associated with current commercially available techniques. Training will include oral presentation as well as pre-recorded videos from real world examples done in FICS Research.