Search for tag: "protocol"

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

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 2 plays