Completed
Error-prone in practice
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
FaCT - A New Language for Constant-Time Programming
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Timing side channels
- 3 Cryptographic padding
- 4 Constant-time coding example
- 5 Padding removal: 1st try
- 6 Writing constant-time code is hard
- 7 Error-prone in practice
- 8 What does Fact look like?
- 9 Labels ensure no leakage
- 10 Automatically transform code
- 11 Transformations are tricky
- 12 Verifying constant-time code
- 13 Interoperate with external code
- 14 Performance numbers
- 15 User study results
- 16 Future directions
