Cryptographic Spatio-temporal Predicates for Location-Based Services | IEEE Conference Publication | IEEE Xplore