Formal Specification of Trusted Execution Environment APIs.

Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon

Browse the full FASE paper archive.