BinREc The BinRec project (in collaboration with UCI) conducts research on attack surface reduction for binary programs. Papers