PIV4DB: Probabilistic Integrity Verification for Cloud Database | IEEE Conference Publication | IEEE Xplore