Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani An NP Decision Procedure for Protocol Insecurity with XOR. 261-270 2003 conf/lics/2003 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210066 db/conf/lics/lics2003.html#ChevalierKRT03