Completed
Using formal methods
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Data Security - Theoretical and Real World Approaches to Compartmentalization
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Outline
- 3 Overview
- 4 Why Kubernetes
- 5 Rook
- 6 Sources
- 7 Access Control
- 8 Buffer Overflow
- 9 Go and Rust
- 10 Enforce Security
- 11 Impossible to Mess Up
- 12 Denial
- 13 Formal Methods
- 14 Abstractions
- 15 Programmers Mental Model
- 16 Verification
- 17 Development Philosophy
- 18 Noninterference
- 19 Using formal methods
