US10158684B2 - Challenge-Response Proximity Verification of User Devices Based on Token-to-Symbol Mapping Definitions