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 Article
AdaCore Launches Yearly Make with Ada Competition

AdaCore's yearly Make with Ada competition launches with over $8,000 in cash and prizes for imaginative emb...

How to Develop Cross-Industry IoT Interoperability

Multi-Part Series