Kononenko. A Unified Approach to Identifying and Healing Vulnerabilities in X86 Machine Code. ACM Press, 2012, doi:10.1145/2348543.2348593.