Person has left EURECOM Nom : MANTOVANI Alessandro Thesis An Analysis of Human-in-the-loop Approaches for Binary Analysis Automation