SeCReT: Secure Channel between Rich Execution Environment and Trusted Execution Environment. - Jin Soo Jang; Sunjune Kong; Minsu Kim; Daegyeong Kim; Brent ByungHoon Kang (NDSS, 2015)