Verifiable Dynamic Symmetric Searchable Encryption: Optimality and Forward Security.
Practical Dynamic Searchable Encryption with Small Leakage