Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.

Ralf Ksters, Tomasz Truderung

Browse the full CCS paper archive.