Demystifying attestation in Intel Trust Domain Extensions via formal verification
Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer[doi] [Google Scholar] [DBLP] [Citeseer]
IEEE Access
9()
Pages 83067-83079
2021
Pages 83067-83079
2021