Combating Control Flow Linearization.

Julian Kirsch Clemens Jonischkeit Thomas Kittel Apostolis Zarras Claudia Eckert

Published in: SEC (2017)

Keyphrases

control flow
data flow
software testing
process model
law enforcement
mixed integer
modeling language
transition systems
reactive systems
workflow management systems
intelligent systems
relational databases
business process models
databases
case study
memory hierarchy
web services