Courses of Study 2023-2024 
    
    Oct 04, 2024  
Courses of Study 2023-2024 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6113 - [Language-Based Security]


     
Spring. Not Offered: 2023-2024. Next offered: 2024-2025. 3 credits. Student option grading.

Prerequisite: CS 4110  or CS 6110 , or permission of the instructor.

A. Myers.

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.



Add to Favorites (opens a new window)