Deduction with XOR Constraints in Security API Modelling.

Graham Steel

Browse the full CADE paper archive.