InstitutionDoi/1807

Title	Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification
DOI	https://doi.org/10.1109/access.2021.3087421
Raw Affiliation	Chair of Systems Engineering, Faculty of Computer Science, Institute of Systems Architecture, Technische Universität Dresden, Dresden, Germany
Clean Page Target	Chair of Systems Engineering, Faculty of Computer Science, Institute of Systems Architecture, Technische Universität Dresden, Dresden, Germany