Whole-Program Control-Flow Path Attestation.

Nikita Yadav Vinod Ganapathy

Published in: CCS (2023)

Keyphrases

control flow
data flow
process model
software testing
transition systems
reactive systems
business process models
real world
workflow management systems
data sets
object oriented
software engineering
modeling language