Completed
Rewrites in practice (from SHA 384)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Formally Verifying Everybody's Cryptography
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Aim: formal verification of code
- 3 This talk: cryptographic primitives
- 4 Who did the proofs, anyway?
- 5 We do difficult proofs
- 6 Threat model for cryptographic primitives
- 7 So, verification is just fancy testing
- 8 Result-high confidence of this
- 9 Verifying cryptography is easy! (in some ways)
- 10 Conservation of difficulty rule
- 11 Why is it difficult to verify cryptography?
- 12 Verifying cryptography is difficult, as well
- 13 Changing the code is very powerful during formal verification!
- 14 Rewrites in practice (from SHA 384)
- 15 Composition has a cost
- 16 Cumulative Correctness planning
