GitHub repository: postechsv/tee-formal-analysis
Primary language: C
Description: Formal Analysis of TEE Applications using TEE Formal Spec.