A First Step Towards the Automatic Generation of Security Protocols.

Adrian Perrig, Dawn Xiaodong Song

Browse the full NDSS paper archive.