Jay will present about his recent work:
vWasm: Verified Software Sandboxing using F* (related paper from USENIX Security 2022)
Zoom link: https://cmu.zoom.us/j/97804414550?pwd=Q3NQWjRxNWwwYnVLSDVSMllmb01jQT09
http://fstar-lang.org/popup/seminar.html