Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games | IEEE Conference Publication | IEEE Xplore