research
∙
08/20/2019
MicroTEE: Designing TEE OS Based on the Microkernel Architecture
ARM TrustZone technology is widely used to provide Trusted Execution Env...
share
research
∙
06/16/2019
A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0
The Trusted Platform Module (TPM) version 2.0, which has been demonstrat...
research
∙
12/14/2017
