Sorry, you need to enable JavaScript to visit this website.

CSCI-642 Secure Coding

Thu, 10/16/2014 - 4:31pm -- exzics

This course provides an introduction to secure coding including topics such as principles of secure coding, security architectures and design, operational practices and testing, programmatic use of cryptography, and defenses against software exploitation. Other topics include software based fault isolation, type-safe languages, certifying compilers; proof-carrying code, and automated program analysis and program rewriting. Programming projects, presentations, and a term paper will be required.