Modernizing FIPS for safe languages and verified libraries

Jonathan Protzenko, Bas Spitters

Research output: Contribution to conference › Paper › Research

5 Downloads (Pure)
Original languageEnglish
Publication date2024
Publication statusPublished - 2024
EventNIST Workshop on Formal Methods within Certification Programs (FMCP 2024) - Rockville, United States
Duration: 23 Jul 2024 → 25 Jul 2024

Workshop

WorkshopNIST Workshop on Formal Methods within Certification Programs (FMCP 2024)
Country/TerritoryUnited States
CityRockville
Period23/07/2024 → 25/07/2024

Access to Document

    Cite this