View source for Publication:587

{{Publication
| Project=AI-SPRINT
| Programme=
| InternalID=587
| Type=Conference proceedings
| PaperTitle=Formal Foundations for Intel SGX Data Center Attestation Primitives
| Authors=Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
| Year=2021
| DOI=https://doi.org/10.13140/rg.2.2.36760.21768
| Category=Artificial Intelligence and Machine Learning Systems
}}