A Simplifying Logic Approach for Gate Level Information Flow Tracking

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. [doi]

Authors

Yu Tai

This author has not been identified. Look up 'Yu Tai' in Google

Wei Hu

This author has not been identified. Look up 'Wei Hu' in Google

Dejun Mu

This author has not been identified. Look up 'Dejun Mu' in Google

Baolei Mao

This author has not been identified. Look up 'Baolei Mao' in Google

Lantian Guo

This author has not been identified. Look up 'Lantian Guo' in Google

Maoyuan Qin

This author has not been identified. Look up 'Maoyuan Qin' in Google