d1.jpg
d2.jpg
gears01-high.jpg
d1.jpg

Secure your Hardware


Uncover hidden liabilities with the testing you already do

Prove the absence of vulnerabilities

Design for Security

SCROLL DOWN

Secure your Hardware


Uncover hidden liabilities with the testing you already do

Prove the absence of vulnerabilities

Design for Security

Understanding the security of your hardware has never been easier

There is a large and growing gap between the assumptions made by software security techniques and the realities of the underlying hardware in mobile, embedded, and other critical systems. Hardware is becoming more complex, more integrated, and more application specific every day. Tortuga Logic is here to help.

flow.jpg

We offer expertise, design tools, and technologies for the new hardware world. While software security continues to make countless advances toward more effective languages, software engineering practices, and program analysis, the hardware underlying all of these advances has continued a march in the opposite direction -- toward increased complexity, reduced software control of hidden state, and higher level of dynamism in search of the highest performance possible. Companies are increasingly responsible for making changes across the hardware and software, and there is a complete lack of tools available to designers to assist them. We address this gap by helping to transform the way that hardware and embedded systems designers approach the problem of security, enabling them to directly measure the different potential flows of information possible and to statically determine if their designs are in compliance with a given policy.

Get Started Now  info@tortugalogic.com

d2.jpg

Our Team


Deep expertise across Hardware, Embedded Systems, and Security 

SCROLL DOWN

Our Team


Deep expertise across Hardware, Embedded Systems, and Security 

Jason Oberg

Jason Oberg

Jonathan Valamehr

Jonathan Valamehr

Ryan Kastner

Ryan Kastner

Tim Sherwood

Tim Sherwood

Jason Oberg, Ph.D.

Co-Founder and CEO

Dr. Oberg has spent the past 5+ years developing the hardware security technology of Tortuga Logic for his Ph.D. thesis. He has worked in the space of hardware design, field-programmable gate arrays (FPGAs), and embedded systems for equally as long. Jason holds a B.S. degree in Computer Engineering from UC Santa Barbara where he graduated with high-honors, and M.S. and Ph.D. degrees in Computer Science and Engineering from UC San Diego.

Jonathan Valamehr, Ph.D.

Co-Founder and CFO/COO

Dr. Valamehr is a postdoctoral fellow in the Computer Science and Engineering department at UC San Diego. He works in the area of Computer Architecture, and his research revolves around leveraging emerging technologies and cross-disciplinary tools to build secure, high-speed microprocessors. This includes using 3D die-stacking to augment existing processors with security-specific hardware, and using cryptographic techniques to protect a secret key from leaking due to physical inspection attacks. He received his Ph.D. (2013), M.S. (2009), and B.S. (2007) in Electrical and Computer Engineering, all from UC Santa Barbara.

Ryan Kastner, Ph.D.

Co-Founder

Dr. Kastner has over 10 years of experience in realm of hardware security. He has served as a principal investigator on various government and industrial grants related to hardware security (over $3 million in toto). This includes the National Science Foundation Innovation Corps award which focuses on commercializing technology from academia. Dr. Kastner is a professor in the Computer Science and Engineering Department at UCSD. His research focuses on computer system design with a focus on critical and real-time applications. He received a PhD in Computer Science at UCLA, a masters degree (MS) in engineering and bachelor degrees (BS) in both Electrical Engineering and Computer Engineering, all from Northwestern University.

Tim Sherwood, Ph.D.

Co-Founder

Dr. Sherwood has worked both in industry and academia on hardware security for over a decade. He is a Professor in the department of Computer Science at UC Santa Barbara, specializing in the development of novel computer architectures for security, monitoring, and control. He leads an award-winning research lab focused on these areas, with funding from several major government grants. His work and teaching have both been recognized, as he is the recipient of the 2009 Northrop Grumman Teaching Excellence Award, the NSF Career Award, and the UCSB Academic Senate Distinguished Teaching Award. Prior to joining UCSB in 2003, he graduated with a B.S. in Computer Science and Engineering from UC Davis (1998), and received his M.S. and Ph.D. from UC San Diego (2003).

Get Started Now  info@tortugalogic.com

 

gears01-high.jpg

Tortuga Technology


Understand how information flows through your designs

Uncover problems and prove the absence of flows

SCROLL DOWN

Tortuga Technology


Understand how information flows through your designs

Uncover problems and prove the absence of flows

Security analysis at the hardware level is of grave concern to embedded system vendors as they are asked to manage secret keys, ensure the integrity of their platforms, and protect content from theft. The ability to do mixed hardware/software security verification is just now opening up due to our team's award winning work in the field. GLIFT allows traditional assertion-based verification techniques to be applied, for the first time, to security metadata. Competing approaches concentrate exclusively on the software layers, ignoring the many complex and nuanced ways in which the underlying hardware plays a role both in enforcing policies and in leaking data unintentionally. As hardware grows in complexity, we must escape the ``patch-and-pray'' cycle of security, and our technology provides a powerful new weapon in this fight.

Get Started Now  info@tortugalogic.com