A Leak-Resilient Dual Stack Scheme for Backward-Edge Control-Flow Integrity.

Philipp Zieris Julian Horsch

Published in: CoRR (2018)

Keyphrases

control flow
data flow
process model
software testing
bi directional
information flow
workflow management systems
reactive systems
transition systems
learning algorithm
case study
data model
edge detection
error rate