InstitutionDoi/1807: Difference between revisions
import>Unknown user No edit summary |
m 1 revision imported |
| (2 intermediate revisions by 2 users not shown) | |
(No difference)
| |
Latest revision as of 10:35, 28 May 2026
| 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 |