CS 5432

CS 5432

Course information provided by the Courses of Study 2020-2021.

This course is concerned with system security solutions that build on ideas from logic, programming languages, and distributed systems. Topics include: information-flow policies and enforcement (static and dynamic), authorization logics, measured principals, distributed trust, and moving-target defenses. Some homework assignments could involve programming.

When Offered Spring (not offered every year).

Permission Note Enrollment preference given to: CIS MEng students.
Prerequisites/Corequisites Prerequisite: CS 5430.

  • Learn how to formulate and enforce information-flow policies.
  • Become facile with logics for specifying and analyzing authentication and authorization, including trust assumptions.

View Enrollment Information

  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  • 18228 CS 5432   LEC 001

    • MW Online Meeting
    • Feb 8 - May 14, 2021
    • Schneider, F

  • Instruction Mode: Online
    This course is restricted to CS students and requires synchronous attendance. The instructor believes in the paramount importance of synchronous interaction for the educational experience he is working to provide in his class. New constraints, recognized by the department chair, arising during this unusual semester require that students registering for this class must be able to participate synchronously in the online lectures at the times they are officially scheduled for in the course roster.