Hao Wang Somesh Jha Vinod Ganapathy 99-108 2006 conf/acsac/2006 ACSAC http://doi.ieeecomputersociety.org/10.1109/ACSAC.2006.34 db/conf/acsac/acsac2006.html#WangJG06