Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

@inproceedings{pub15467,
    author = {

Tempel, Sören
 and 

Brandt, Tobias
 and 

Lüth, Christoph
 and 

Dietrich, Christian
 and 

Drechsler, Rolf
},
    title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31-April 2, Lyon, France},
    year = {2025}
}