Making your products more Reliable, Safe and Secure

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

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