∑oφoς: Forward Secure Searchable Encryption
Verifiable Dynamic Symmetric Searchable Encryption: Optimality and Forward Security.