Course Info

CSC 463: Theory and Practice of Safe Systems Programming

Modern developments in programming languages, toolchains, and package management reduce the risk of security vulnerabilities from programming errors and supply chain attacks. This course covers the theory and practice of ownership type systems, their application in systems programming, and discussion of the vulnerabilities they mitigate. Approaches to software integrity and distributed code review are investigated in the context of package management and supply chain attacks. Coursework includes development of a large systems program in a language with ownership types such as Rust.

CSC 447 is a prerequisite for this class.

Spring 2022-2023

Section: 620
Class number: 42250
Meeting time: -
Location: Online: Async

Fall 2022-2023

Section: 401
Class number: 24692
Meeting time: MW 1:30PM - 3:00PM
Location: CDM 00202 at Loop Campus
Section: 410
Class number: 24693
Meeting time: -
Location: Online: Async