All Galois Video’s Videos
-
Hex sample 3: The final seconds... -
Hex sample 2 -
Hex sample 1 -
Differential Privacy – A Toolkit for Stability, Robustness, and Statistical Validity -
How to get from laws to technical requirements -
High Tech Amateur Rockets at PSAS -
From Haskell to Hardware via CCCs -
Dependently typed functional programming in Idris, 3 of 3 -
Dependently typed functional programming in Idris, 2 of 3 -
Dependently Typed Functional Programming in Idris by David Christiansen 1 of 3 -
Tech Talk: Common crypto mistakes in Android -
Tech Talk: Read-copy update (RCU) validation and verification for Linux
Browse Videos
Videos
Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.