Enforcing Correct Behavior without Trust in Cloud Key-Value Databases