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