Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner. Theoretical Fundamentals of Gate Level Information Flow Tracking. IEEE Trans. on CAD of Integrated Circuits and Systems, 30(8):1128-1140, 2011. [doi]
Abstract is missing.