SOF 587 Secure Software Design
This class examines the theory and practice of software security. The course focuses on some common software security risks, including buffer overflows, race conditions and random number generation, and on the identification of potential threats and vulnerabilities early in the design cycle. Students learn how to use the tools for identifying and eliminating security vulnerabilities, techniques to prove the absence of vulnerabilities, and ways to avoid security holes in new software and on essential guidelines for building secure software. Prerequisites: SOF581.