Webinar On Demand: Enabling Device Security with a Formally Verified Microkernel
Verifying that a system is secure can be a difficult proposition. It requires performing numerous tests that provide increased confidence in, but never quite prove, the security of an application. Formal verification is an effective alternative to testing, since it can be used to definitively prove the security properties of individual software applications. Join speakers from DornerWorks and Microchip as they discuss how formal verification can make your products more secure. They will demonstrate how the seL4 microkernel running on a PolarFire® SoC FPGA provides an excellent starting point for your next security-focused product.