Daniel Engel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Binary-Level Pointer Analysis. | Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran |
| 2024 | TASE | On the Decidability of Disassembling Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | TAP | BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2022 | AFT | Transferable Cross-Chain Options. | Daniel Engel, Yingjie Xue |
| 2021 | AFT | Composing networks of automated market makers. | Daniel Engel, Maurice Herlihy |
| 2021 | SSS | Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. | Daniel Engel, Maurice Herlihy, Yingjie Xue |