The Artifact of TEE Formal Specification and Analysis

There is a newer version of the record available.

Published February 11, 2026 | Version v1

Model Open

Files

Name	Size	Download all
tee-formal-analysis.zip md5:db97a8d79eb012387fa26084a9d45393	12.4 MB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Model

Publisher

Zenodo

License: GNU General Public License v3.0 or later

Permissions of this strong copyleft license are conditioned on making available complete source code of licensed works and modifications, which include larger works using a licensed work, under the same license. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. Read more