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