Abstract interpretation-based formal description of data obfuscation

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]

Authors

Ying Zeng

This author has not been identified. Look up 'Ying Zeng' in Google

Fenlin Liu

This author has not been identified. Look up 'Fenlin Liu' in Google