Highly scalable verifiable encrypted search | IEEE Conference Publication | IEEE Xplore