Spectre, Meltdown, and Tortuga Logic's Hardware Security Verification at Arm TechCon

October 22, 2018
The Spectre and Meltdown vulnerabilties resulted from speculative execution, designed to satisfy our need for speed. These could have been prevented through the use of hardware security verification, a technology that works in conjunction with traditional verification techniques to detect security vulnerabilities. Dr. Jonathan Valamehr, Co-Founder and Chief Operating Officer of Tortuga Logic explains the technology and its potential to Brandon Lewis, Editor-in-Chief of Embedded Computing Design.
Previous Video
Hex-Five Multi-Zone Security for RISC V Simplifies the Terrible TEEs
Hex-Five Multi-Zone Security for RISC V Simplifies the Terrible TEEs

Trusted Execution Environments (TEEs) such as Arm TrustZone, while well-intentioned, present challenges for...

Next Video
So, How Secure are your Coding Practices? Ask AdaCore
So, How Secure are your Coding Practices? Ask AdaCore

Developing secure code is no longer optional, but that doesn't mean it's easy. Some software engineers use ...