sectionPage 8 [zotero-users-5466518-jcvhm7dz]
When Faaslets are deployed, the compilation phase to gen- erate the WebAssembly binary takes place on a user’s ma- chine. Since that is untrusted, the code generation phase begins by validating the WebAssembly binary, as defined in the WebAssembly specification [35