jungkwangho / komodo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from microsoft/komodo
Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
Home Page: https://www.microsoft.com/en-us/research/project/komodo/
License: Other