Sandrine Blazy, Alix Trieu: Formal verification of control-flow graph flattening. CPP 2016: 176-187