A Theory of Secure Control Flow
A Practical Dynamic Buffer Overflow Detector