A Mechanized Proof of Security for Searchable Symmetric Encryption | IEEE Conference Publication | IEEE Xplore