Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Hacspec: Executable and Verifiable Specifications for High-Assurance Cryptography
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 A tale of two worlds
- 3 Right now: the specification problem
- 4 Bringing the two worlds together
- 5 A taste of hacspec
- 6 Simple call-by-value semantics with variable context
- 7 Linear typing with Rust specificities
- 8 Implementation: AST or MIR?
- 9 The hacspec typechecker
- 10 hacspec programs
- 11 Verification backend: F
- 12 The hacspec libraries
- 13 Conclusion
- 14 The hacspec DSL - [7]
