61 citations · 98 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
Wasm SpecTec: Engineering a Formal Language Standard
Joachim Breitner, Philippa Gardner, Jaehyun Lee +8
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adop…
cs.CR2023★ 3 cited
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole +2
Capability-based memory isolation is a promising new architectural primitive. Software can access low-level memory only via capability handles rather than raw pointers, which provi…