1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2023★ 1 cited
Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond
Garrett Gu, Hovav Shacham
We claim that existing techniques and tools for generating and verifying constant-time code are incomplete, since they rely on assumptions that compiler optimization passes do not…
cs.CR2020
Return-Oriented Programming in RISC-V
Garrett Gu, Hovav Shacham
RISC-V is an open-source hardware ISA based on the RISC design principles, and has been the subject of some novel ROP mitigation technique proposals due to its open-source nature.…