microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
105Updated 2 years ago

Alternatives and similar repositories for Komodo:

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