Efficient Consistency Proofs for Generalized Queries on a Committed Database.

Rafail Ostrovsky, Charles Rackoff, Adam D. Smith

Browse the full ICALP paper archive.