Extracting Conditional Formulas for Cross-Platform Bug Search
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security (2017) - Comments
doi: 10.1145/3052973.3052995 

Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin