Completed
Intro
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Building Secure Systems in Haskell
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Facebook missed a single security check...
- 3 Putting user privacy at risk: a recipe
- 4 A blogging web app example
- 5 Change how we build software
- 6 Yes! At least for web apps...
- 7 Hails: secure Haskell web framework
- 8 Extend MVC with security policy
- 9 How do we specify policy? • Policy specified as function from row to label Label concisely encodes read/write restriction on data
- 10 Where to enforce label restrictions?
- 11 How do we enforce labels?
- 12 Two kinds of code: MPs and VCs
- 13 extensibility
- 14 Is the TCB actually smaller?
- 15 Implementation details
- 16 Why Haskell?
- 17 Thinking about secure sub-language
- 18 Review: the 10 monad
- 19 How can we do anything useful?
- 20 Tracking reads & restricting writes
- 21 The LIO secure sub-language
- 22 What do we get with this?
- 23 What's the catch?
- 24 Summary
