Research output per year
Research output per year
Fingerprint
Dive into the research topics where Daniel Engel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference Article in proceeding
-
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries
Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review