A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching | IEEE Conference Publication | IEEE Xplore