CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

IEEE Symposium on Security and Privacy via YouTube Direct link

Intro

1 of 15
Next

1 of 15

Intro

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Cache Side Channels
  3. 3 How Severe is the Problem?
  4. 4 Prior Work
  5. 5 Introducing CaSym
  6. 6 Example: Square & Multiply
  7. 7 Symbolic Execution
  8. 8 Verification
  9. 9 Cache Models
  10. 10 Infinite Model Demo
  11. 11 Age Model Demo
  12. 12 Improving Performance
  13. 13 Attack Models
  14. 14 Crypto Results: Trace
  15. 15 Conclusions

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.