Leveraging Exhaustive Formal Analysis for Security Verification

Conference: DVClub Europe – March 2016 (click here to see full programme)
Speaker: David Kelf (VP Marketing)
Organisation: Onespin Solutions
Presentation Title: Leveraging Exhaustive Formal Analysis for Security Verification
Abstract: 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. This presentation will discuss a solution that provides the correct guidance to a formal engine to absolutely minimize the risk of security vulnerabilities in hardware.
Speaker Bio: Dave Kelf heads OneSpin’s marketing efforts, including technical and product strategy. Dave was an IC designer before moving into Application Engineering and general business roles. He was president and CEO of Sigmatix, Inc. and Verification Marketing Director at Cadence Design Systems. As vice president of marketing at Co-Design Automation and then Synopsys, Kelf oversaw the successful introduction and growth of the SystemVerilog language, before running marketing for Novas software which became Springsoft (now Synopsys). He holds a Master of Science degree in Microelectronics and an MBA from Boston University.

View the Presentation Materials: