TY  - RPRT
TI  - Protocol insecurity with finitely many sessions and XOR
AU  - R Ramanujam
AU  - Vaishnavi Sundararajan
AU  - S P Suresh
PY  - 2025
UR  - https://arxiv.org/abs/2506.24072
ID  - 2506.24072
ER  -