Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises

IEEE Symposium on Security and Privacy via YouTube Direct link

Gathering the Weights

11 of 17

11 of 17

Gathering the Weights

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises

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

  1. 1 Introduction
  2. 2 The Problem
  3. 3 The Solution
  4. 4 Performance
  5. 5 Architecture
  6. 6 Compile Time Representation
  7. 7 Example Code
  8. 8 CallbyValue Evaluation
  9. 9 Specialized Version
  10. 10 Known Weights
  11. 11 Gathering the Weights
  12. 12 Steps
  13. 13 Coefficients
  14. 14 Assigning fixed integers
  15. 15 What took time
  16. 16 Technical deliverable
  17. 17 Conclusion

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.