ReCFA: Resilient Control-Flow Attestation.

Yumei Zhang Xinzhi Liu Cong Sun Dongrui Zeng Gang Tan Xiao Kan Siqi Ma

Published in: ACSAC (2021)

Keyphrases

control flow
data flow
trusted computing
process model
trusted third party
workflow management systems
software testing
modeling language
business process models
transition systems
databases
computing platform
reactive systems
formal semantics
formal specification
artificial intelligence
learning algorithm