@misc{indiciae70e21944b4d8,
  title = {Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification},
  author = {Andreas Lindner and Karl Palmskog and Scott Constable and Mads Dam and Roberto Guanciale and Hamed Nemati},
  year = {2026},
  doi = {10.1007/978-3-032-15700-3\_8},
  url = {https://arxiv.org/abs/2304.08848},
  note = {Source identifier: 2304.08848}
}