3 papers
cs.LO2026
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
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-…