Trusted Execution Environment: What It is, and What It is Not
SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment