Improving Automatic Verification of Security Protocols with XOR.

Xihui Chen, Ton van Deursen, Jun Pang

Browse the full ICFEM paper archive.