Abstract: Safe binary execution is a crucial requirement in to- day's security-critical computing infrastructures. WebAssem- bly is an emerging language designed for safe binary execution that has ...