Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.

Hubert Comon-Lundh, Vitaly Shmatikov

Browse the full LICS paper archive.