BinSlayer: accurate comparison of binary executables. - Martial Bourquin; Andy King; Edward Robbins 001 (PPREW@POPL, 2013)