Formal Security Verification for Searchable Symmetric Encryption Using ProVerif | IEEE Conference Publication | IEEE Xplore