@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)},
month = {March},
note = {Accepted for publication},
publisher = {IEEE},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
year = {2025},
}