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 Security Verification
- Mentor Graphics, Mark Handover (Application Engineer)
How Secure is Your System?
The Presentation Slides are available here