CCC-Attestation / formal-spec-TEELinks

Formal specification of attestation mechanisms in Confidential Computing
20Updated 9 months ago

Alternatives and similar repositories for formal-spec-TEE

Users that are interested in formal-spec-TEE are comparing it to the libraries listed below

Sorting: