BinHunt: Automatically Finding Semantic Differences in Binary Programs.

Debin Gao, Michael K. Reiter, Dawn Xiaodong Song

Browse the full ICICS paper archive.