Slow But Steady - Achieving Real Security Within Two Decades

Slow But Steady - Achieving Real Security Within Two Decades

IEEE Symposium on Security and Privacy via YouTube Direct link

LangSEC

6 of 25

6 of 25

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. 1 Intro
  2. 2 Public Sanitation
  3. 3 Mass Exploitation
  4. 4 The Software Crisis
  5. 5 Software Engineering
  6. 6 LangSEC
  7. 7 CX
  8. 8 Principles
  9. 9 Formal Verification
  10. 10 Formal Verification Example
  11. 11 Formal Verification Still Hard
  12. 12 Is Formal Verification Worth It
  13. 13 Software Firewalls
  14. 14 Micro Kernels
  15. 15 Any Kernels
  16. 16 Capability Based Systems
  17. 17 Hybrid Capability Model
  18. 18 Incremental Security
  19. 19 Containment Isolation
  20. 20 Creating Well Engineered Infrastructure
  21. 21 The Engineering Process
  22. 22 Remote Execution Vulnerability
  23. 23 C vs Rust
  24. 24 The idea of ratcheting
  25. 25 quark

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.