Advances in Computer Aided Cryptography

Advances in Computer Aided Cryptography

TheIACR via YouTube Direct link

Decoupling

10 of 26

10 of 26

Decoupling

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Advances in Computer Aided Cryptography

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 Welcome
  3. 3 Computeraided cryptography
  4. 4 Potential benefits
  5. 5 Long term goal
  6. 6 Tools
  7. 7 EasyCrypt
  8. 8 Progress Decoupling
  9. 9 Is coupling useful
  10. 10 Decoupling
  11. 11 Proof rule
  12. 12 Automation
  13. 13 Two tools
  14. 14 NAEP
  15. 15 Automated proof
  16. 16 A funny story
  17. 17 Compiler verification
  18. 18 Differential power analysis
  19. 19 Two models
  20. 20 Mask implementation
  21. 21 probing security
  22. 22 probabilistic noninterference
  23. 23 full implementation
  24. 24 problem with composition
  25. 25 strong noninterference
  26. 26 wrap up

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.