@misc{indiciae5f3c99794712, title = {Protocol insecurity with finitely many sessions and XOR}, author = {R Ramanujam and Vaishnavi Sundararajan and S P Suresh}, year = {2025}, url = {https://arxiv.org/abs/2506.24072}, note = {Source identifier: 2506.24072} }