A theory of secure control flow (2005)

by M Abadi, M Budiu, Úlfar Erlingsson, J Ligatti
Venue:In International Conference on Formal Engineering Methods