Black Friday 2024: 25+ Ways to Save on Online Learning
Verification State-Space Reduction Through Restricted Parsing Environments

Verification State-Space Reduction Through Restricted Parsing Environments

IEEE Symposium on Security and Privacy via YouTube Direct link

Static analysis and formal tools

15 of 17
Previous
Next

15 of 17

Static analysis and formal tools

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Verification State-Space Reduction Through Restricted Parsing Environments

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 Goals
  3. 3 CLE
  4. 4 The Problem
  5. 5 The Circle of Life
  6. 6 Input Parsing
  7. 7 Open Source
  8. 8 Fizzbuzz
  9. 9 Graph
  10. 10 Reference Monitors
  11. 11 Future Work
  12. 12 Thanks
  13. 13 Questions Discussion
  14. 14 What an attacker can do
  15. 15 Static analysis and formal tools
  16. 16 Bridging the gap
  17. 17 Contextual implementation

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.