There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.

Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal

Browse the full CAV paper archive.