Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX. - Muhammad Usama Sardar; Thomas Fossati; Simon Frost; Shale Xiong (IEEE Access, 2024)

Arm's Platform Security Architecture (PSA) Attestation Token. - Hannes Tschofenig; Simon Frost; Mathias Brossard; Adrian Shaw; Thomas Fossati (RFC, 2025)