Formal verification of control-flow graph flattening.

Sandrine Blazy, Alix Trieu

Browse the full CPP paper archive.