ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation.
Adam CaulfieldNorrathep RattanavipanonIvan De Oliveira NunesPublished in: USENIX Security Symposium (2023)
Keyphrases
- control flow
- method invocation
- data flow
- trusted computing
- software testing
- process model
- trusted third party
- transition systems
- workflow management systems
- formal semantics
- computing platform
- data sets
- virtual organization
- key management
- modeling language
- computing environments
- business process models
- remote attestation