Sean Heelan, Agustin Gianni. Augmenting vulnerability analysis of binary code. In Robert H'obbes' Zakon, editor, 28th Annual Computer Security Applications Conference, ACSAC 2012, Orlando, FL, USA, 3-7 December 2012. pages 199-208, ACM, 2012. [doi]
Abstract is missing.