Checking the Correctness of Memories

Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor. Checking the Correctness of Memories. Algorithmica, 12(2/3):225-244, 1994.

Abstract

Abstract is missing.