Tag Archives: Hardware Security

How Secure is Your System?

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!

Leveraging Exhaustive Formal Analysis for Security Verification

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

Presentation Slides of DVClub Europe -“Verifying Hardware Security”, 8 March 2016 are now available!

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