GitHub repository: postechsv/tee-formal-spec
Description: Formal Specification of Trusted Execution Environment APIs