GitHub repository: CCC-Attestation/formal-spec-TEE
Created: 2023-03-02T09:47:19Z
Description: Formal specification of attestation mechanisms in Confidential Computing