"formally verifying everybody's cryptography" by mike dodds, joey dodds (strange loop 2022)
Published 1 year ago • 3.5K plays • Length 40:30Download video MP4
Download video MP3
Similar videos
-
1:16:17
"the early days of id software: programming principles" by john romero (strange loop 2022)
-
44:45
"monad i love you now get out of my type system" by gjeta gjyshinca (strange loop 2022)
-
37:23
"a hipster history of cors" by devdatta akhawe (strange loop 2022)
-
41:01
"avif: creating a new image format in the open" by jon bauman (strange loop 2022)
-
45:32
"blueprints for a universal reasoning machine" by zenna tavares (strange loop 2022)
-
51:36
polysemy: chasing performance in free monads — sandy maguire
-
31:45
formal verification made easy (and fast!) - daniel bristot de oliveira, red hat
-
15:12
the absolute best intro to monads for software engineers
-
1:03:07
lockable obfuscation
-
1:09:51
formal verification of qbft consensus protocol
-
36:38
"frontiers in cryptography" by tony arcieri
-
28:21
proof logging for maxsat – the past, the present and the future
-
9:51
mei nagappan: bias in evaluating code contributions
-
50:41
formal methods and a mathematical proof of zero bugs in code
-
45:38
keynote: formal verification? no, formal reasoning! | marianne bellotti | code beam america 2022
-
39:41
"game development in eight bits" by kevin zurawel