F* PoP Up Seminar: Jay Bosamiya on vWasm
7 views
Skip to first unread message
Nikhil Swamy
Aug 31, 2022, 1:39:02 AM8/31/22
to fstar-mai...@googlegroups.com
Jay will present about his recent work:
vWasm: Verified Software Sandboxing using F* (related paper from USENIX Security 2022)
Reply all
Reply to author
Forward
0 new messages