Dinuka Sahabandu, Shana Moothedath, Linda Bushnell, Radha Poovendran, Joey Aller, Wenke Lee, Andrew Clark. A Game Theoretic Approach for Dynamic Information Flow Tracking with Conditional Branching. In 2019 American Control Conference, ACC 2019, Philadelphia, PA, USA, July 10-12, 2019. pages 2289-2296, IEEE, 2019. [doi]
Abstract is missing.