Special software is required to use some of the files in this section: .mp4, .rm.
In addition to downloadable lecture notes, video files of most lectures are provided below.
Complex, Trusted Systems
(Guest Lecture by Professor Hal Abelson)