Verification of Control Flow based Security Properties.

Thomas P. Jensen, Daniel Le Mtayer, Tommy Thorn

Browse the full SP paper archive.