Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX

MU Sardar, T Fossati, S Frost, S Xiong - IEEE Access, 2023 - ieeexplore.ieee.org
Attestation is one of the most critical mechanisms in confidential computing (CC). We
present a holistic verification approach enabling comprehensive and rigorous security …
被引用次数：1 相关文章

[引用][C] Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX

MU Sardar, T Fossati, S Frost, S Xiong - IEEE Access, 2024 - ui.adsabs.harvard.edu
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in
Arm CCA and Intel TDX - NASA/ADS Now on home page ads icon ads Enable full ADS …
[PDF] researchgate.net

[PDF][PDF] Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX

MU SARDAR, T FOSSATI, S FROST, S XIONG - researchgate.net
Attestation is one of the most critical mechanisms in confidential computing (CC). We
present a holistic verification approach enabling comprehensive and rigorous security …
[PDF] sos-vo.org

[PDF][PDF] Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm CCA and Intel TDX

MU Sardar - 2024 - sos-vo.org
Formal Specification and Verification of Architecturally-defined Attestation Mechanisms in Arm
CCA and Intel TDX Page 1 Formal Specification and Verification of Architecturally-defined …