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.
When
Tuesday, July 18, 2023 from 5:00 PM to 9:00 PM PDT
Add to Calendar
5:00 PM Networking
5:45 PM ISSA Announcements
6:00 PM Panel
7 - 9 PM Dinner & Drinks
Sponsored by
Hosting provided by
Contact
Michelle Koblas, Board Member, Silicon Valley Chapter of the ISSAThe Silicon Valley ISSA
communicationsdirector@sv-issa.org
July 2023 Chapter Meeting
Formal Methods and a Mathematical Proof of Zero Bugs in Code
Benjamin MonateBenjamin Monate was born in Drancy, France. A graduate of École Normale Supérieur de Cachan with a PhD from University of Paris 11, Benjamin joined the CEA, the French Alternative Energies and Atomic Energy Commission, after one year of teaching at École Polytechnique. Benjamin served as head of the laboratory, leading the lab’s scientific and financial advancement. In addition, he co-invented the technology that would later serve as the basis of TrustInSoft Analyzer, spearheading the development of the product himself. In May 2013, Benjamin co-founded TrustInSoft, where he currently serves as the CTO.