Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDX.
Muhammad Usama SardarThomas FossatiSimon FrostShale XiongPublished in: IEEE Access (2024)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal methods
- model checker
- process algebra
- object oriented design
- specification language
- specification languages
- protocol specification
- temporal logic
- formal verification
- data abstraction
- asynchronous circuits
- reverse engineering
- grid workflow
- canonical correlation analysis
- formal specification language
- computation tree logic
- web services
- bounded model checking
- programming language
- software engineering
- database systems