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 [...]

2016-03-16T05:54:51+00:0016th March, 2016|Active Event, Blog, Events|

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 [...]

2016-03-15T06:15:22+00:0015th March, 2016|Active Event, Blog, Events|

Securing Smart Systems

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

2016-03-14T11:07:04+00:0014th March, 2016|Active Event, Blog, Events|

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 Embedded Security Solutions, Paul Elliott Securing Smart Systems OneSpin Solutions, David Kelf (VP Marketing) Leveraging Exhaustive Formal Analysis for [...]

2016-03-14T10:19:18+00:0014th March, 2016|Active Event, Blog, Events|