A Verifiable Dynamic Multi-user Searchable Encryption Scheme without Trusted Third Parties | IEEE Conference Publication | IEEE Xplore