Search for tag: "protocol"
Informal Theory SeminarZoom Recording ID: 96116630382 UUID: vGpxc5eVTp+bpdo3dcrgzg== Meeting Time: 2021-04-29T18:58:50Z
From Eunah Kim
3 plays
|
|
SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssemblyTitle: 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
|
|
2018 Science Immersion_Systematic ReviewsA workshop given by Kate Ghezzi-Kopel as part of Science Immersion 2018.
From Matthew Kibbee
8 plays
|
|
11.3.20 Jesse Goodman, PhD at Cornell UniversityZoom Recording ID: 97470844866 UUID: f1VhPhybRwaIZHAbdQQZdg== Meeting Time: 2020-11-30T21:01:09Z
From Jordan Staiti
53 plays
|
|
How Am I Doing? How Are We Doing? Strategies for Maintaining Equilibrium, Connectedness and Morale In CrisisZoom Recording ID: 92485398718 UUID: qY7R6R40RY+LfnIX8uUv4g== Meeting Time: 2020-05-07T16:16:09Z
From Stephanie Olszewski
1 plays
|
|