Daniel Engel, Freek Verbeek, Binoy Ravindran: BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries. Zenodo 2023