@article{Sardar2021TDX,
author = {Sardar, Muhammad Usama and Musaev, Saidgani and Fetzer, Christof},
doi = {10.1109/ACCESS.2021.3087421},
issn = {2169-3536},
journal = {IEEE Access},
pages = {83067--83079},
title = {{Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification}},
url = {https://ieeexplore.ieee.org/document/9448036/},
volume = {9},
year = {2021}
}