@misc{indiciae724a9fbe8fd2,
  title = {TrABin: Trustworthy Analyses of Binaries},
  author = {Andreas Lindner and Roberto Guanciale and Roberto Metere},
  year = {2019},
  doi = {10.1016/j.scico.2019.01.001},
  url = {https://arxiv.org/abs/1901.05456},
  note = {Source identifier: 1901.05456}
}