Login / Signup
Simon Frost
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Grid Workflow
Process Algebra
Formal Specification
Specification Languages
Top Venues
IEEE Access
</>
Publications
</>
Muhammad Usama Sardar
,
Thomas Fossati
,
Simon Frost
,
Shale Xiong
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.
IEEE Access
12 (2024)