Login / Signup
Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution.
Ivan De Oliveira Nunes
Sashidhar Jakkamsetti
Gene Tsudik
Published in:
CoRR (2020)
Keyphrases
</>
control flow
data flow
process model
software testing
business process models
transition systems
workflow management systems
digital camera
theorem prover
low cost
formal semantics
databases
information systems
knowledge management
computing platform