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