Enlisting Hardware Architecture to Thwart Malicious Code Injection
A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities