Code Unboxed with TrustInSoft: Libjxl
October 1, 2024
What is Libjxl?
Libjxl is the official implementation of JPEG XL, an advanced image format standardized as ISO/IEC 18181.
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, October 31, 2024, 4:00 PM (CET) / 11: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 ot typical static analysis and the potential impacts of any vulnerabilities we may find.