Description: COMPUTER SYSTEMS SECURITY
*****
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).