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…
As part of Cornell Kids@Home, Ray Jayawardhana, Harold Tanner Dean of the College of Arts and Sciences, reads along to his own children's book; "Child of the Universe". Illustrated by…