Extracting Conditional Formulas for Cross-Platform Bug Search

Qian Feng, Minghua Wang, Mu Zhang, Rundong Zhou, Andrew Henderson, Heng Yin. Extracting Conditional Formulas for Cross-Platform Bug Search. In Ramesh Karri, Ozgur Sinanoglu, Ahmad-Reza Sadeghi, Xun Yi, editors, Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2017, Abu Dhabi, United Arab Emirates, April 2-6, 2017. pages 346-359, ACM, 2017. [doi]

Abstract

Abstract is missing.