A Theory of Secure Control Flow
StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks