Elect Engr & Computer Science - Advnced Software Security Eval

Catalog description

Heuristic and formal analysis of software systems with an emphasis on integrity and secrecy. Students in the course will learn to assess the quality, vulnerabilities, and behavior of software. Topics include bug finding, anomaly detection, dynamic analysis, static analysis, dataflow analysis, fuzzing, linting, software supply chain auditing, and security best practices. Prerequisite: C- or higher in EECS 348, and upper-level EECS eligibility, or consent of instructor.