Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin. A Simplifying Logic Approach for Gate Level Information Flow Tracking. In Bo Li 0004, Lei Shu 0005, Deze Zeng, editors, Communications and Networking - 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017, Proceedings, Part II. Volume 237 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 302-311, Springer, 2017.
Abstract is missing.