2024-2025 Undergraduate/Graduate Catalog

CS 593 Advanced Secure Software Designs

Advanced study of the approaches, mechanisms, and tools to make software systems more secure. We will motivate the study by discussing common software security threats. The majority of the course will be divided into four main modules: architectural approaches to building secure software (e.g., confinement, virtual machines, trusted computing); software analysis (e.g., static analysis and testing, model checking); language-based approaches to building secure software (e.g., type systems, proof-carrying code); and run-time enforcement of security policies (e.g., dynamic taint analysis).

Credits

3

Cross Listed Courses

CYS 593. No credit granted for students with credit for CYS 593.

Prerequisite

Grade C- in CS 501, or admission to Software Engineering MS program or Permission of Department Chair.

General Education

Offered

  • Fall