Search for tag: "protocol"

Informal Theory Seminar

Zoom Recording ID: 96116630382 UUID: vGpxc5eVTp+bpdo3dcrgzg== Meeting Time: 2021-04-29T18:58:50Z

From  Eunah Kim on April 29th, 2021 0 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 9 plays

11.3.20 Jesse Goodman, PhD at Cornell University

Zoom Recording ID: 97470844866 UUID: f1VhPhybRwaIZHAbdQQZdg== Meeting Time: 2020-11-30T21:01:09Z

From  Jordan Staiti on November 30th, 2020 6 plays