Modernizing FIPS for safe languages and verified libraries

Jonathan Protzenko, Bas Spitters

Publikation: KonferencebidragPaperForskning

5 Downloads (Pure)
OriginalsprogEngelsk
Publikationsdato2024
StatusUdgivet - 2024
BegivenhedNIST Workshop on Formal Methods within Certification Programs (FMCP 2024) - Rockville, USA
Varighed: 23 jul. 202425 jul. 2024

Workshop

WorkshopNIST Workshop on Formal Methods within Certification Programs (FMCP 2024)
Land/OmrådeUSA
ByRockville
Periode23/07/202425/07/2024

Citationsformater