BloomTech’s Downfall: A Long Time Coming

Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017

Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017

USENIX Enigma Conference via YouTube Direct link

Intro

1 of 13
Next

1 of 13

Intro

Class Central Classrooms beta

YouTube playlists curated by Class Central.

Classroom Contents

Leveraging the Power of Automated Reasoning - USENIX Enigma Conference - 2017

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Formalization
  3. 3 Program Testing
  4. 4 Program Analysis
  5. 5 Symbolic Execution
  6. 6 Specialized Reasoners
  7. 7 Analysis
  8. 8 Example
  9. 9 Automated Reasoning for Security
  10. 10 Problems
  11. 11 Solution
  12. 12 Small example
  13. 13 Future

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.