Andrew Becker Wei Hu 0008 Yu Tai Philip Brisk Ryan Kastner Paolo Ienne Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking. 5:1-5:6 2017 DAC https://doi.org/10.1145/3061639.3062203 conf/dac/2017 db/conf/dac/dac2017.html#BeckerHTBKI17