Privacy-Preserving Spatio-Temporal Keyword Query with Verifiability for Location-Based Services | AI Sec Watch