SWE 681 / ISA 681 Secure Software Design & Programming: Lecture 3: Buffer Overflow Dr. David A. Wheeler 2013-09-12.
Verifying Architecture