An NP Decision Procedure for Protocol Insecurity with XOR.

Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani

Browse the full LICS paper archive.