From One Session to Many: Dynamic Tags for Security Protocols.

Myrto Arapinis, Stphanie Delaune, Steve Kremer

Browse the full LPAR paper archive.