- Schedule of Classes - January 31, 2019 7:14PM EST
- Course Catalog - January 31, 2019 7:15PM EST
Course information provided by the Courses of Study 2018-2019.
An exploration of methods for using programming languages and language semantics to enforce security. We will read recent papers on a variety of topics, including language-based authorization, enforcement of both confidentiality and integrity using type systems for controlling information flow, quantitative security measures, secure distributed computing, and methods for incorporating and checking uses of cryptography.
When Offered Fall.
Prerequisites/Corequisites Prerequisite: one of CS 4110 or CS 6110, or permission of the instructor.
Regular Academic Session.
Credits and Grading Basis
3 Credits Stdnt Opt(Letter or S/U grades)
Class Number & Section Details
- TRHollister Hall 110
Disabled for this roster.