Enforcing Correct Behavior without Trust in Cloud Key-Value Databases | IEEE Conference Publication | IEEE Xplore