Trust In Soft at embedded world North America 2026
summary
Tool claims full formal verification for C C++ and Rust that finds all runtime errors while keeping false positives low and analyses fast, and uses AI automates setup to pick entry points and model external inputs. Demo on TinyCrypt produces seven runtime errors with line-by-line justifications, including a signed overflow from left shifting an unsigned char. Customers span automotive, avionics, defense and a cell phone maker using the tool for ARM TrustZone checks at large scale; website trust-in-soft.com.
AI-written summary · about
related talks
18mIoT Security's Toughest Challenges: Root of Trust, TEEs, & Firmware Updates
21mDeveloping secure applications
15mUnlocking the Potential of RISC-V With TrusteD-V: A RISC-V Rust Software Ecosystem
48mRustZone: Writing Trusted Applications in Rust
50mTrust but Verify: Scaling Deductive Verification with Abstract Interpretation
39mSoftware Supply Chain Security with Trusted Execution Environment Provisioning (T...
10mZero Trust Hardware Design for Embedded Systems
24mSystem Level Security Verification of RISC V Based SoCs