The following publications are possibly variants of this publication:
- Theoretical Fundamentals of Gate Level Information Flow TrackingWei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner. tcad, 30(8):1128-1140, 2011. [doi]
- Theoretical analysis of gate level information flow trackingJason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner. dac 2010: 244-247 [doi]
- Theorem proof based gate level information flow tracking for hardware security verificationMaoyuan Qin, Wei Hu, Xinmu Wang, Dejun Mu, Baolei Mao. compsec, 85:225-239, 2019. [doi]