Evan Johnson

Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI

Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram et al. · 2023 · 24 citations · Full text

Engineering, Information Security, Computer Architecture +24

WaVe: a verifiably secure WebAssembly sandboxing runtime

Evan Johnson, Evan Laufer, Zijie Zhao et al. · 2023 · 20 citations

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya et al. · Proceedings of the ACM on Programming Languages · 2023 · 19 citations · Full text

Engineering, C-to-mswasm Compiler, Software Systems +19

Swivel: Hardening WebAssembly against Spectre

Shravan Narayan, Craig Disselkoen, Daniel Moghimi et al. · ArXiv.org · 2021 · 15 citations · Full text

Software Maintenance, Engineering, Information Security +19

Доверяй, но проверяй: SFI safety for native-compiled Wasm

Evan Johnson, David Thien, Yousef Alhessi et al. · 2021 · 13 citations · Full text