Proof of Violation for Trust and Accountability of Cloud Database Systems. - Gwan-Hwan Hwang; Shih-Kai Fu (CCGrid, 2016)