microsoft/Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

语言：C · GitHub 星标：111 · Fork：26

在 GitHub 上查看原仓库