Verifiable Dynamic Symmetric Searchable Encryption: Optimality and Forward Security.
Dynamic Searchable Encryption in Very-Large Databases: Data Structures and Implementation