UBC Theses and Dissertations
An indexed type system for faster and safer WebAssembly Geller, Adam T.
Downloading and executing untrusted code is inherently unsafe, but also something that happens often on the internet. Therefore, untrusted code often requires run-time checks to ensure safety during execution. These checks compromise performance and may be unnecessary. We present the Wasm-prechk language, an assembly language based on WebAssembly that is intended to ensure safety while justifying the static elimination of run-time checks.
Item Citations and Data
Attribution-NonCommercial-NoDerivatives 4.0 International