An indexed type system for faster and safer WebAssembly
department or school: Science, Faculty of
department or school: Computer Science, Department of
data provider: DSpace
degree campus: UBCV
creator: Geller, Adam T.
issued: 2020-08-26T21:50:04Z
issued: 2020
related degree: Master of Science - MSc
degree grantor: University of British Columbia
description: 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.
aggregated CHO: https://circle.library.ubc.ca/rest/handle/2429/75703
note: An Indexed Type System for Faster and SaferWebAssemblybyAdam T. Gellera thesis submitted in partial fulfillmentof the requirements for the degree ofMaster of Scienceinthe faculty of graduate and postdoctoralstudies(Computer Science)The University Of British Columbia(Vancouver)August 2020© Adam T. Geller, 2020The following individuals certify that they have read, and recommend tothe Faculty of Graduate and Postdoctoral Studies for acceptance, the thesisentitled:An Indexed Type System for Faster and Safer WebAssemblysubmitted by Adam T. Geller in partial fulfillment of the requirements forthe degree of Master of Science in Computer Science.Examining Committee:William J. Bowman, Computer ScienceCo-supervisorIvan Beschastnikh, Computer ScienceCo-supervisorRonald Garcia, Computer ScienceAdditional ExamineriiAbstractDownloading and executing untrusted code requires careful considerationsto ensure that it is safe, but also something that happens often on theinternet. Therefore, untrusted code often requires run-time checks to ensuresafety during execution. These checks compromise performance and may beunnecessary. We present the Wasm-prechk language, an assembly languagebased on WebAssembly that is intended to ensure the same level of safety asWebAssembly while justifying the static elimination of run-time checks.iiiLay SummaryDownloading and running code from unknown sources is unsafe, but also quitecommon. Ill-behaved or erroneous code can expose your data or crash yourbrowser. Unfortunately, mitigating these risks often slows down programs.WebAssembly is a language supported by many browsers and designed to beboth fast and safe, but the language still requires potentially unnecessarysafety check which make websites slower and less efficient.We have designed a programming language based on WebAssembly, calledWasm-prechk, that is meant to be as safe as WebAssembly without requiringas many safety check. Wasm-prechk uses a more expressive type systemthen WebAssembly to help…
has type: Thesis/Dissertation
date issued: 2020-11
is shown at: 10.14288/1.0392977
language: eng
degree discipline: Computer Science
provider: Vancouver : University of British Columbia Library
publisher: University of British Columbia
rights: Attribution-NonCommercial-NoDerivatives 4.0 International
rights URI: http://creativecommons.org/licenses/by-nc-nd/4.0/
scholar level: Graduate
type: Text
identifier URI: http://hdl.handle.net/2429/75703