TY  - RPRT
TI  - Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
AU  - Andreas Lindner
AU  - Karl Palmskog
AU  - Scott Constable
AU  - Mads Dam
AU  - Roberto Guanciale
AU  - Hamed Nemati
PY  - 2026
DO  - 10.1007/978-3-032-15700-3_8
UR  - https://arxiv.org/abs/2304.08848
ID  - 2304.08848
ER  -