MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Autor: Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Publikováno v: Proceedings of the ACM on Programming Languages. 7:425-454

Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm—and attackers can exploit buffer overflows and use-after-frees in Wasm almos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5de77d7b777bbee4c67c1b1de8fd1e40
https://doi.org/10.1145/3571208

Two mechanisations of WebAssembly 1.0

Autor: Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Publikováno v: 24th international symposium of Formal Methods (FM21)
Formal Methods ISBN: 9783030908690
FM 2021-Formal Methods
FM 2021-Formal Methods, Nov 2021, Beijing, China. pp.1-19
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods

International audience; WebAssembly (Wasm) is a new bytecode language supported by all major Web browsers, designed primarily to be an efficient compilation target for low-level languages such as C/C++ and Rust. It is unusual in that it is officially

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eafe1035d21cae31ed38b0752421b39a
http://hdl.handle.net/10044/1/91431

Repairing and mechanising the JavaScript relaxed memory model

Autor: Anton Podkopaev, Christopher Pulte, Guillaume Barbier, Jean Pichon-Pharabod, Shaked Flur, Conrad Watt, Shu-yu Guo, Stephen K. Dolan

Publikováno v: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe4d3ef82ef5ee8ff0d263f9f5db1dc7

Position Paper

Autor: Deian Stefan, Conrad Watt, John Renner, Craig Disselkoen, Tal Garfinkel, Amit Levy

Publikováno v: HASP@ISCA

WebAssembly (Wasm) is a low-level platform-independent bytecode language. Today, developers can compile C/C++ to Wasm and run it everywhere, at almost native speeds. Unfortunately, this compilation from C/C++ to Wasm also preserves classic memory saf

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::abe33d2d0b38ad136650c462857b0960
https://doi.org/10.1145/3337167.3337171