BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries.

Daniel Engel, Freek Verbeek, Binoy Ravindran

Browse the full TAP paper archive.