Lightweight Verification for Searchable Encryption | IEEE Conference Publication | IEEE Xplore