TC4SE: A High-Performance Trusted Channel Mechanism for Secure Enclave-Based Trusted Execution Environments. - Gilang Mentari Hamidy; Sri Yulianti; Pieter Philippaerts; Wouter Joosen (ISC, 2023)