Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution.

Ivan De Oliveira Nunes Sashidhar Jakkamsetti Gene Tsudik

Published in: DATE (2021)

Keyphrases

control flow
data flow
process model
software testing
workflow management systems
transition systems
digital camera
modeling language
formal semantics
databases
low cost
trusted computing
business process models
information technology
software engineering
theorem prover