Enforcing Correct Behavior without Trust in Cloud Key-Value Databases. - Andrea Andreoli; Luca Ferretti; Mirco Marchetti; Michele Colajanni (CSCloud, 2015)