Andreas Lindner, Roberto Guanciale, Roberto Metere. TrABin: Trustworthy analyses of binaries. Science of Computer Programming, 174:72-89, 2019. [doi]
@article{LindnerGM19,
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://doi.org/10.1016/j.scico.2019.01.001},
researchr = {https://researchr.org/publication/LindnerGM19},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {174},
pages = {72-89},
}