Course Info

CSC 363: 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 347 is a prerequisite for this class.

Fall 2022-2023

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