Resilience of everyday software to vulnerabilities. Security engineering and the security development lifecycle. Static analysis and vulnerability analysis. Model checkers. Security testing, non-functional testing, fuzz-testing. Programming languages and security. Cryptographic APIs and use of security toolkits. Includes: Experiential Learning Activity Prerequisite(s): (COMP 3000 or SYSC 4001), COMP 3004 and CSEC 3108. Lectures three hours a week. [0.5 credits]
Resilience of everyday software to vulnerabilities. Security engineering and the security development lifecycle. Static analysis and vulnerability analysis. Model checkers. Security testing, non-functional testing, fuzz-testing. Programming languages and security. Cryptographic APIs and use of security toolkits. Includes: Experiential Learning Activity Prerequisite(s): (COMP 3000 or SYSC 4001), COMP 3004 and CSEC 3108. Lectures three hours a week. [0.5 credits]
