Formal Methods within Certification Programs: Status Update (G12a)
On July 23–25, 2024, NIST hosted the Workshop on Formal Methods within Certification Programs (FMCP 2024). The goal of this three-day workshop was to explore the use of formal methods within certification programs for cryptographic modules, such as FIPS 140-3. This talk provides an overview of the insights gained during the workshop and the follow-up activities conducted since then. It also serves as an opportunity to collect feedback from ICMC 2025 participants.