Min Du, Ravi Ramamurthy: Towards verifiable metering for database as a service providers. SoCC 2017: 651