@inproceedings{tempel:25:date,
location = {Lyon, France},
author = {Sören Tempel and Tobias Brandt and Christoph Lüth and Christian Dietrich and Rolf Drechsler},
booktitle = {Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)},
doi = {10.23919/DATE64628.2025.10993257},
entrysubtype = {Conference},
month = {March},
publisher = {IEEE},
series = {DATE},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
year = {2025},
}