I Am Alice, I Was in Wonderland: Secure Location Proof Generation and Verification Protocol | IEEE Conference Publication | IEEE Xplore