Login / Signup
Towards Efficient Control-Flow Attestation with Software-Assisted Multi-level Execution Tracing.
Dimitrios Papamartzivanos
Sofia-Anna Menesidou
Panagiotis Gouvas
Thanassis Giannetsos
Published in:
MeditCom (2021)
Keyphrases
</>
control flow
data flow
software testing
workflow management systems
process model
reactive systems
information technology
software engineering
test cases
source code
software development
embedded systems
transition systems
workflow processes