TY  - RPRT
TI  - Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
AU  - Sören Tempel
AU  - Tobias Brandt
AU  - Christoph Lüth
AU  - Christian Dietrich
AU  - Rolf Drechsler
PY  - 2025
DO  - 10.23919/date64628.2025.10993257
UR  - https://arxiv.org/abs/2404.04132
ID  - 2404.04132
ER  -