Open access
Aug 2026
Formal Specification of Trusted Execution Environment APIs and Model Checking of Trusted Applications
A formal specification for TEE APIs using Maude focuses on the Trusted Storage API and the Cryptographic Operations API, both foundational to mobile and IoT applications and applies a state-space reduction technique based on invisible transitions to mitigate the state explosion problem.
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae et al.
· Formal Aspects of Computing · 0 citations