Checking the Correctness of Memories

Manuel Blum, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor

Browse the full FOCS paper archive.