Symbolic verification of Apple's Find My location-tracking protocol

Vaishnavi Sundararajan, Rithwik

Tracking devices, while designed to help users find their belongings in case of loss/theft, bring in new questions about privacy and surveillance of not just their own users, but i…