On Verifying Secret Control Flow Elimination.

David Knothe, Oliver Bringmann

Browse the full ITP paper archive.