Highly scalable verifiable encrypted search
Searchable symmetric encryption: improved definitions and efficient constructions