postechsv / tee-formal-spec

Formal Specification of Trusted Execution Environment APIs

Geek Repo

Github PK Tool