External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Daniel Engel, Freek Verbeek, Binoy Ravindran. BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. In Virgile Prevosto, Cristina Seceleanu, editors, Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. Volume 14066 of Lecture Notes in Computer Science, pages 3-20, Springer, 2023. [doi]

Authors

Daniel Engel

This author has not been identified. Look up 'Daniel Engel' in Google

Freek Verbeek

This author has not been identified. Look up 'Freek Verbeek' in Google

Binoy Ravindran

This author has not been identified. Look up 'Binoy Ravindran' in Google
runs on