microsoft/verismo

A formally verified security module for AMD confidential VMs

语言：Rust · GitHub 星标：75 · Fork：8

在 GitHub 上查看原仓库