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 on May 17th, 2021 7 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 on February 1st, 2021 8 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 on October 9th, 2020 3 plays

Milstein Invited Lecture - Phil Zimmermann

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

From  Tapan Parikh on July 31st, 2020 9 plays

CUFF - 201901250 - Greg Morrisett - What is CIS?

From  Marshall Perryman on January 30th, 2019 33 plays