2 citations · 2 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025
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…
cs.LO2025
Protocol insecurity with finitely many sessions and XOR
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
We present a different proof of the insecurity problem for XOR, solved in by Chevalier, Kuesters, Rusinowitch and Turuani (2005). Our proof uses the notion of typed terms and well-…