Checking the correctness of memories (1991)

by Will Evans Blum, Peter Gemmell, Sampath Kannan, Moni Naor
Venue:BEG + 91] [Ben65] [BFLS91] [BG08] [BGV12] [Bha05] [BHZ87] Manuel