Xin Lai, Cong Liu, Zhiying Wang, Quanyou Feng. Analytical Models for Data Dependence Violation Checking in TLS. In Yuping Wang, Yiu-ming Cheung, Ping Guo, Yingbin Wei, editors, Seventh International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3-4, 2011. pages 1433-1437, IEEE, 2011. [doi]
Abstract is missing.