Synthesising Attacks on Cryptographic Protocols.

David Sinclair, David Gray, Geoff W. Hamilton

Browse the full ATVA paper archive.