@misc{indiciae1d564ea6958b,
  title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
  author = {Sören Tempel and Tobias Brandt and Christoph Lüth and Christian Dietrich and Rolf Drechsler},
  year = {2025},
  doi = {10.23919/date64628.2025.10993257},
  url = {https://arxiv.org/abs/2404.04132},
  note = {Source identifier: 2404.04132}
}