Proving the Security of Low-Level Software Components and TEEs
January 17, 2022
Join Vic and Jakub to learn how it’s possible to prove the security of low-level software components and TEEs through exhaustive static analysis. Then, watch the live demo of TrustInSoft Analyzer on the Goodix driver GT9XX. For more information about how TrustInSoft can help you solve your security challenges, contact us.
