Ensuring correctness of range searches on encrypted cloud data | IEEE Conference Publication | IEEE Xplore