Verifiable Searchable Encryption Framework Against Insider Keyword-Guessing Attack in Cloud Storage | Synapse