Formal Specification of Trusted Execution Environment APIs. - Geunyeol Yu; Seunghyun Chae; Kyungmin Bae; Sungkun Moon (FASE, 2024)