Arx: A Strongly Encrypted Database System.
IntegriDB: Verifiable SQL for Outsourced Databases