A Theory of Secure Control Flow

Mihai Budiu
Úlfar Erlingsson
Jay Ligatti
ICFEM (2005), pp. 111-124

Abstract