Mark Handover, Applications Engineer at Mentor Graphics, recently spoke on how to exhaustively prove the integrity of the hardware root of trust with your RTL and a clear text, human and machine readable Tcl script to specify the critical storage and allowed access paths at the DVClub Europe Conference, “Verifying Hardware Security” 8 March 2016.
The Presentation Slides of how to secure your system are available now!
Hardware security verification must assure complete confidence that all potential vulnerabilities have been examined. The use of formal technology as a basis for security verification provides an exhaustive approach that, if guided correctly, will ensure complete verification coverage.
David Kelf, VP Marketing at OneSpin Solutions, discussed a solution that provides the correct guidance to a formal engine to absolutely minimize the risk of security vulnerabilities in hardware at the DVClub Europe Conference- “Verifying Hardware Security” which took place on 8 March 2016.
Find out the presentation Slides here
Achieving good platform security is difficult and requires an underlying hardware root of trust. Paul Elliott of Embedded Security Solutions, presented on how to secure smart systems at the DVClub Europe Conference-“Verifying Hardware Security” on 8 March 2016.
You can view the Slides here
T&VS organized a European DVClub on 8 March 2016 with a focus on “Verifying Hardware Security”. Speakers were from Mentor Graphics, OneSpinSolutions, and Embedded Security Solutions and the presentations are now available on the T&VS website
The Presentation Slides are available here