SoK: Cryptographically Protected Database Search
A Survey of Provably Secure Searchable Encryption