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 10 - Symbolic Execution|
Instructor: Armando Solar-Lezama. In this lecture, Professor Solar-Lezama from MIT CSAIL presents the concept of symbolic execution.
Go to the Course Home or watch other lectures: