@phdthesis{EURECOM+6839, author = {Mantovani, Alessandro}, title = {An analysis of human-in-the-loop approaches for binary analysis automation}, year = {2022}, note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :}, }