Symbolic Execution of Binary Code based on Formal ISA Semantics

@inproceedings{pub15216,
    author = {

Tempel, Sören
 and 

Brandt, Tobias
 and 

Lüth, Christoph
 and 

Drechsler, Rolf
},
    title = {Symbolic Execution of Binary Code based on Formal ISA Semantics},
    booktitle = {4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal},
    year = {2024}
}