Prerequisites:COMSC 230 ; COMSC 210 This course introduces the principles behind producing secure program code. The course explores defects stemming from the language selected. It then covers basic principles of design and implementation of defect-free software. It looks at code reviews incorporating tool-assisted static and dynamic analysis, risk analysis and management, and methods for software security testing. Students will be exposed to SPARK, a language designed for secure applications.