Partial Order Reduction for Security Protocols.

David Baelde, Stphanie Delaune, Lucca Hirschi

Browse the full CONCUR paper archive.