Secure Coding

Catalog description

This course covers concepts, principles, and practices of secure coding. It explores secure development and engineering techniques, practical defensive programming techniques, and modern tools for delivering secure programs. The role of software verification and validation, including testing and formal methods, is stressed. The course also focuses on the design of modern secure programming languages and the role of the compiler in generating defensive code. The societal need for secure programming is also highlighted. Note: Programming projects, presentations, and a research report will be required.