Tortuga Logic, Inc.

I am proud to be a co-founder of the cybersecurity company Tortuga Logic. We are a start-up that spun out of research done at both UC San Diego and UC Santa Barbara. Our initial offering is a hardware security design tool. This tool allows designers to prove security properties about the resulting hardware. Once the properties hold at the hardware level, they propagate up and hold for the software as well. The tool can be used to test a myriad of devices ranging from SoCs to medical devices. Our goal is to make security a pervasive design constraint, rather than an afterthought, and our tools/technologies are an important step in that direction.

You can find more information here.

Feel free to contact me to learn more about the company or technology at [mylastname]@ucsd.edu.