Arbitrary Precision and Complexity Tradeoffs for Gate-Level Information Flow Tracking.

Andrew Becker, Wei Hu, Yu Tai, Philip Brisk, Ryan Kastner, Paolo Ienne

Browse the full DAC paper archive.