Completed
LangSEC
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Slow But Steady - Achieving Real Security Within Two Decades
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Public Sanitation
- 3 Mass Exploitation
- 4 The Software Crisis
- 5 Software Engineering
- 6 LangSEC
- 7 CX
- 8 Principles
- 9 Formal Verification
- 10 Formal Verification Example
- 11 Formal Verification Still Hard
- 12 Is Formal Verification Worth It
- 13 Software Firewalls
- 14 Micro Kernels
- 15 Any Kernels
- 16 Capability Based Systems
- 17 Hybrid Capability Model
- 18 Incremental Security
- 19 Containment Isolation
- 20 Creating Well Engineered Infrastructure
- 21 The Engineering Process
- 22 Remote Execution Vulnerability
- 23 C vs Rust
- 24 The idea of ratcheting
- 25 quark
