import>Unknown user
No edit summary
 
m 1 revision imported
 
(No difference)

Latest revision as of 11:09, 6 May 2026

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