Secure Location Verification with Randomly-Selected Base Stations. - Matthew Holiday; Neeraj Mittal; Subbarayan Venkatesan (ICDCS Workshops, 2011)