Code Unboxed with TrustInSoft: Genode

What is Code Unboxed?

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. In this episode, a TrustInSoft senior software analyst analyzed code from Genode.

Unboxing Genode

The Genode OS framework is an open-source toolkit for building highly secure, component-based operating systems, scaling from embedded devices to desktop and mobile computing. It enforces strict isolation and the principle of least privilege to create a portable, secure system. TrustInSoft Analyzer enhances this security by ensuring common libraries and services remain robust and portable, even under Genode’s strict isolation. In this Code Unboxed session, we will analyze the Core runtime code.

Date: Thursday February 27, 2025

Time: 4:00 PM (CET) / 10:00 AM (ET)

Gain insights into:

• How formal methods ensure code reliability and security.
• Identifying and mitigating potential vulnerabilities in Genode open-source code.
• The advantage of exhaustive static analysis over traditional testing methods.