microsoft / verismo

A formally verified security module for AMD confidential VMs
39Updated 4 months ago

Alternatives and similar repositories for verismo:

Users that are interested in verismo are comparing it to the libraries listed below