6.826 Fall 2020 Lecture 11: x86-TSO

(1:10:55)

6.826 Fall 2020 Lecture 21: Secure enclaves; Komodo

(1:21:5)

6.826 Fall 2020 Lecture 4: Security, Everest

(1:9:11)

6.826 Fall 2020 Lecture 2: Specifications

(1:12:11)

6.826 Fall 2020 Lecture 25: Reliability without proofs

(1:17:11)

6.826 Fall 2020 Lecture 3: Specs and Abstraction in Hoare logic

(1:27:55)

6.826 Fall 2020 Lecture 1: Introduction

(1:24:21)

6.826 Fall 2020 Lecture 22: Non-interference; CertiKOS

(1:25:34)

6.826 Fall 2020 Lecture 5: Refinement

(1:14:)

6.826 Fall 2020 Lecture 20: Correctness of verified systems

(1:23:26)

6.826 Fall 2020 Lecture 12: Finding concurrency bugs, TSVD

(1:21:19)

6.826 Fall 2020 Lecture 23: What to expect from proofs for security?

(1:9:2)

6.826 Fall 2020 Lecture 8: SibylFS

(1:10:44)

6.826 Fall 2020 Lecture 10: FSCQ

(1:6:40)

6.826 Fall 2020 Lecture 24: Push-button verification: Serval, Rosette

(1:19:43)

6.826 Fall 2020 Lecture 13: Recitation on lab 3

(1:21:54)

6.826 Fall 2020 Lecture 9: Separation logic

(1:3:26)

6.826 Fall 2020 Lecture 6: Compiler correctness, CompCert

(1:7:43)