GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments.

Mathias Morbitzer Benedikt Kopf Philipp Zieris

Published in: CLOUD (2023)

Keyphrases

control flow
trusted computing
data flow
computing environments
remote attestation
process model
workflow management systems
computing platform
cloud computing
software testing
transition systems
modeling language
workflow processes
business process models
computer security
data sets
security protocols
database