A robust machine code proof framework for highly secure applications,” in ACL2 ’06 (2012)

by D S Hardin, E W Smith, W D Young
Venue:IEEE: Security & Privacy