Galois | Formal Verification & Cryptography

We rely on software for everything these days. Ever think just how disastrous it would be if the systems we count on to protect our lives went awry? Galois does. And they have solutions. We had the pleasure of working with the team at the R&D technologies company to produce two awareness videos designed to educate industries that rely on … Read More

Galois | Mobile Roots of Trust

Can you trust your mobile device? How can you be sure? Galois’ Mobile Roots of Trust provides a mechanism to not only have a secure device, but to prove it. We had the pleasure collaborating with Galois to educate viewers about Mobile Roots of Trust, a project awarded by the Department of Homeland Security, and how its innovative methods ensure … Read More