Tortuga Logic
An EvoNexus Incubator Company
Tortuga Logic is a cybersecurity company focused on securing hardware at the silicon level. The founding team behind Tortuga Logic consists of four Ph.D. level scientists in the fields of Computer Science and Engineering. The company spun out of UC San Diego and UC Santa Barbara, where the founders performed state-of-the-art hardware security research.
After many years of research, publications, and government funding, the Tortuga Logic team has created the most thorough approach to developing secure modern (CPU, chipset, and SoC) semiconductor designs. This research has led to two important technologies that together allow for the creation and verification of secure chip designs:
Sentinel™ Security Language
The Sentinel™ Security Language can describe hardware security properties at a high level of abstraction. By using Sentinel™ it is possible to express security requirements at a level that is independent of many implementation details of a design. This allows hardware designers to efficiently specify the security properties they need to verify during the development lifecycle of their hardware design.
Security Model Design
The Security Model Design is an enhancement to the hardware design that allows Sentinel™ properties to be directly checked in any existing hardware verification environment. This enables hardware designers to verify necessary security properties and ensures that the resulting chip is designed securely.
Offerings
Tortuga provides both software solutions and services, including:
– Prospect™, which is a security property verification software developed for the Sentinel™ security language. Prospect™ accepts an RTL hardware design (typically written in Verilog or VHDL) and a set of Sentinel properties, which it uses to create a Security Model Design and verify the corresponding security properties. The Prospect™ software then leverages commercial formal verification engines to prove or disprove the security properties written in Sentinel™ on its generated Security Model Design.
–Hardware Security Assessment (HSA) services for a client’s semiconductor design. Tortuga Logic performs HSAs by leveraging their hardware security expertise and Prospect™ to check a specific design for all security vulnerabilities that exist in an agreed upon threat model.
Learn more at www.tortugalogic.com
