Search for tag: "crypto"

5.17.21 Huijia Lin, University of Washington

Zoom Recording ID: 91302741742 UUID: hJSJ/8QeQkqko5cgQSaeWA== Meeting Time: 2021-05-17T19:40:30Z

From  Jordan Staiti 52 plays

SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly

Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified…

From  Ross Tate 10 plays

CAM Colloquium - Noah Stephens-Davidowitz (10/9/20)

Zoom Recording ID: 95217932087 UUID: zFeAiLtYR8W1TZhwDyFOEA== Meeting Time: 2020-10-09T19:15:34Z

From  Erika Fowler-Decatur 9 plays

Milstein Invited Lecture - Phil Zimmermann

Zoom Recording ID: 96610307248 UUID: mZ1ztoAtR22wXeIQs0Cm0g== Meeting Time: 2020-07-30T23:46:15Z

From  Tapan Parikh 21 plays

CUFF - 201901250 - Greg Morrisett - What is CIS?

From  Marshall Perryman 37 plays