Parallel Bounded Model Checking of Security Protocols.

Miroslaw Kurkowski, Olga Siedlecka-Lamch, Sabina Szymoniak, Henryk Piech

Browse the full PPAM paper archive.