Security Against Compromised Servers: Verifiable DB Queries | IEEE Conference Publication | IEEE Xplore