Completed
Intro
Class Central Classrooms beta
YouTube playlists 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
