issues
search
microsoft
/
Komodo
Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
102
stars
28
forks
source link
make -C driver
#15
Closed
xiexiewww
closed
6 years ago