Effective reduction of cryptographic protocols specification for model-checking with Spin. - Urszula Krawczyk; Piotr Sapiecha (Ann. UMCS Informatica, 2011)

Automatic detection of DoS vulnerabilities of cryptographic protocols. - Urszula Krawczyk; Piotr Sapiecha (Ann. UMCS Informatica, 2012)