Ying Zeng, Fenlin Liu. Abstract interpretation-based formal description of data obfuscation. In International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011. pages 1447-1450, IEEE, 2011. [doi]
Abstract is missing.