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