Geunyeol Yu Seunghyun Chae Kyungmin Bae Sungkun Moon Formal Specification of Trusted Execution Environment APIs. 101-121 2024 FASE https://doi.org/10.1007/978-3-031-57259-3_5 conf/fase/2024 db/conf/fase/fase2024.html#YuCBM24