On Bridging the Gap between Control Flow Integrity and Attestation Schemes.

Mahmoud Ammar Ahmed Abdelraoof Silviu Vlasceanu

Published in: USENIX Security Symposium (2024)

Keyphrases

control flow
trusted computing
data flow
process model
software testing
workflow management systems
remote attestation
computing environments
computing platform
transition systems
business process models
modeling language
cloud computing
cooperative
real world
petri net
formal semantics
memory hierarchy