Description: This class will focus on computer security in real systems. We will cover theory and practice for the design of secure systems (formal modeling, hardware and compiler-enforced safety, software engineering processes, tamper-resistant and tamper-reactive hardware, firewalls, cryptography, and more). Recommended Prerequisite(s): (COMP 311 or COMP 412) and (COMP 421 or COMP 429).