Search: Abadi, D, Cloud Database, cs.yale.edu, n/a