Control flow obfuscation with information flow tracking.
Haibo ChenLiwei YuanXi WuBinyu ZangBo HuangPen-Chung YewPublished in: MICRO (2009)
Keyphrases
- control flow
- information flow
- data flow
- reactive systems
- software testing
- information security
- social networks
- communication networks
- flow analysis
- workflow management systems
- process model
- business process models
- transition systems
- information flows
- supply chain
- flow graph
- formal semantics
- modeling language
- petri net
- information propagation
- intrusion detection