A Theory of Secure Control Flow.

Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti

Browse the full ICFEM paper archive.