A Verifiable Symmetric Searchable Encryption Scheme Based on the AVL Tree. (8th October 2021)