CS 6113

Last Updated

  • Schedule of Classes - February 12, 2019 8:29PM EST
  • Course Catalog - January 26, 2019 2:00PM EST

CS 6113
Language-Based Security

Course information provided by the 2018-2019 Catalog.

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.


Prerequisites/Corequisites Prerequisite: one of CS 4110 or CS 6110, or permission of the instructor.

When Offered Fall.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 16858 CS 6113   LEC 001

  •  

  • Instruction Mode: In Person