Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification | IEEE Journals & Magazine | IEEE Xplore