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-…