SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment
Virtual ghost: protecting applications from hostile operating systems