WEBINAR: Proving the Security of Low-Level Software Components and TEEs  

November 16th, 2021

9 am PT / 6 pm CET

PURPOSE  

  

What if it were possible to mathematically prove the security of firmware?

Semiconductors are at the core of many things around us - from safety-critical systems like in the automotive industry, to consumer electronics devices, including smartphones, tablets, set-top boxes, and game consoles.

Low-level software like drivers, kernels, RTOS, and TEEs are the key components of semiconductor firmware. The security and reliability of these components are essential for the proper functioning of devices.  But the source code of this low-level software is written by humans, and unfortunately, prone to bugs and critical vulnerabilities – some 70 bugs per 1,000 lines of code.

In this webinar, we will explore the importance of securing these components and how it's possible to prove their security using exhaustive static analysis of the source code.

  

  

SCHEDULE

9:00 to 9:15: Introduction to TrustInSoft Analyzer for Security Challenges in the Semiconductor Industry, by Vic Sharma, Account Executive

9:15 to 9:30: TrustInSoft Analyzer demo and real-life analysis examples, by Jakub Zwolakowski, R&D Engineer

9:30 to 9:40: Q&A

  

JAKUB ZWOLAKOWSKI

R&D Engineer

  

 

  

VIC SHARMA

US Account Executive

  

 

Built with