6.858 Computer Systems Security (Fall 2014, MIT OCW): Lecture 11

6.858 Computer Systems Security

6.858 Computer Systems Security (Fall 2014, MIT OCW). Instructors: Professor Nickolai Zeldovich and Professor James Mickens. 6.858 Computer Systems Security is a class about the design and implementation of secure computer systems. Lectures cover threat models, attacks that compromise security, and techniques for achieving security, based on recent research papers. Topics include operating system (OS) security, capabilities, information flow control, language security, network protocols, hardware security, and security in web applications. (from ocw.mit.edu)

Lecture 11 - Ur/Web

Instructors: Nickolai Zeldovich and Adam Chlipala. In this lecture, Professor Chlipala discusses Ur/Web, the programming language he created for modern web applications.

Go to the Course Home or watch other lectures:

Lecture 01 - Introduction, Threat Models

Lecture 02 - Control Hijacking Attacks

Lecture 03 - Buffer Overflow Exploits and Defenses

Lecture 04 - Privilege Separation

Lecture 05

Lecture 06 - Capabilities

Lecture 07 - Sandboxing Native Code

Lecture 08 - Web Security Model

Lecture 09 - Securing Web Applications

Lecture 10 - Symbolic Execution

Lecture 11 - Ur/Web