Login / Signup
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