Generating Functionally Equivalent Programs Having Non-isomorphic Control-Flow Graphs. - Rémi Géraud; Mirko Koscina; Paul Lenczner; David Naccache; David Saulpic (NordSec, 2017)