Fraser Brown

How to Build Static Checking Systems Using Orders of Magnitude Less Code

2016

Modern static bug finding tools are complex. They typically consist of hundreds of thousands of lines of code, and most of them are wedded to one language (or even one compiler). This complexity makes the …

WaVe: a verifiably secure WebAssembly sandboxing runtime

2023

The promise of software sandboxing is flexible, fast and portable isolation; capturing the benefits of hardwarebased memory protection without requiring operating system involvement. This promise is reified in WebAssembly (Wasm), a popular portable bytecode whose …