GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments.
Mathias MorbitzerBenedikt KopfPhilipp ZierisPublished in: CoRR (2022)
Keyphrases
- control flow
- trusted computing
- data flow
- computing environments
- remote attestation
- workflow management systems
- modeling language
- process model
- software testing
- cloud computing
- real world
- business process models
- virtual organization
- formal semantics
- computing platform
- open source
- data model
- databases
- computer security
- multi agent systems
- information systems
- transition systems