Open access
Aug 2026
Formal Specification of Trusted Execution Environment APIs and Model Checking of Trusted Applications
Trusted execution environments (TEEs) have emerged as a key technology in cybersecurity, providing isolated environments where sensitive computations can be executed securely. Trusted applications running in a TEE are developed using standardized APIs to which many TEE hardware platforms conform. However, formal execut...
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae et al.
· Formal Aspects of Computing · 0 citations