| EU Project | AI-SPRINT |
|---|---|
| EU Programme | |
| Internal ID | 795 |
| Publication Type | Peer reviewed articles |
| Title | Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification |
| Authors | Muhammad Usama Sardar, Saidgani Musaev, Christof Fetzer |
| Year | 2021 |
| DOI | https://doi.org/10.1109/access.2021.3087421 |
| Research Category | Artificial Intelligence and Machine Learning Systems |