19 citations · 24 across the 3 of their papers we have counts for
3 papers
cs.AR2025★ 1 cited
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor
Louis-Emile Ploix, Alasdair Armstrong, Tom Melham +3
The CHERI architecture equips conventional RISC ISAs with significant architectural extensions that provide a hardware-enforced mechanism for memory protection and software compart…
cs.CR2018★ 4 cited
Fully Homomorphic Image Processing
William Fu, Raymond Lin, Daniel Inge
Fully homomorphic encryption has allowed devices to outsource computation to third parties while preserving the secrecy of the data being computed on. Many images contain sensitive…
cs.CR2018★ 19 cited
TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly
William Fu, Raymond Lin, Daniel Inge
WebAssembly (wasm) has recently emerged as a promisingly portable, size-efficient, fast, and safe binary format for the web. As WebAssembly can interact freely with JavaScript libr…