No Chapter Meeting this August
We're all headed to BlackHat / DEFCON in Las Vegas, so no local chapter meeting. If you're planning to be there, please reach out to us on slack - we'd love to see you.
We're all headed to BlackHat / DEFCON in Las Vegas, so no local chapter meeting. If you're planning to be there, please reach out to us on slack - we'd love to see you.
Formal methods play a crucial role in raising the security and safety level of firmware, which is an essential component of modern computing systems. Firmware, being the low-level software responsible for controlling hardware devices, presents unique challenges due to its direct interaction with critical system functionalities. This talk highlights the importance of employing formal methods as a means to enhance the security and safety aspects of firmware development.
Building on Shaky Ground: Unveiling the Vulnerabilities of Firmware
In this talk, we shine a spotlight on the often underestimated realm of firmware security. We will delve into the crucial yet frequently overlooked role of firmware in technology and the potential security threats it poses.