A Formal Model of the x86 ISA for Binary Program Verification

Contact Name: 
Shilpi Goel
Date: 
May 3, 2013 1:00pm - 2:00pm