RVDSE: Efficient Result Verifiable Searchable Encryption in Redactable Blockchain | IEEE Conference Publication | IEEE Xplore