15 citations · 15 across the 4 of their papers we have counts for
1 paper · 1 filter
Reynaldo Gil-Pons, Sjouke Mauw, Rolando Trujillo-Rasua
Software-based memory-erasure protocols are two-party communication protocols where a verifier instructs a computational device to erase its memory and send a proof of erasure. The…