Christoph Bösch, Pieter H. Hartel, Willem Jonker, Andreas Peter: A Survey of Provably Secure Searchable Encryption. ACM Comput. Surv. 47(2): 18:1-18:51 (2014)