Automatic Analysis of the Security of XOR-Based Key Management Schemes.

Vronique Cortier, Gavin Keighren, Graham Steel

Browse the full TACAS paper archive.