Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification
In August 2020, Intel asked the research community for feedback on Circuit Boards the newly offered architecture extensions, called Intel Trust Domain Extensions (TDX), which give more control to Trust Domains (TDs) over processor resources.One of the key features of these extensions is the remote attestation mechanism, which provides a unified rep