Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
POSTER: Formal Analysis of Trusted Execution Environment API
- Title
- POSTER: Formal Analysis of Trusted Execution Environment API
- Authors
- CHAE, SEUNGHYUN; YU, GEUNYEOL; BAE, KYUNGMIN
- Date Issued
- 2022-12-16
- Publisher
- Korea Institute of Information Security and Cryptology
- Article Type
- Conference
- Citation
- 6th International Symposium on Mobile Internet Security, 2022-12-16
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.