Code Unboxed with TrustInSoft: Trampoline OSEK

August 13, 2024

Code Unboxed Trampoline-OSEK

 What You'll Learn: 

  • Detailed exploration of code vulnerabilities and their impacts
  • Steps to achieve 100% code coverage with formal verification
  • Insights into improving code security and reliability

Thu, August 29, 2024 4:00 PM (CEST) / 10:00 AM (EDT)

Code Unboxed with TrustInSoft is a recurring event where we show and review analysis of open source code using formal methods compared to typical static analysis and the potential impacts of any vulnerabilities we may find.

Watch the replay:

Newsletter