Towards Parallel Direct SAT-Based Cryptanalysis. - Pawel Dudek; Miroslaw Kurkowski; Marian Srebrny (PPAM (1), 2011)

Using Backward Induction Techniques in (Timed) Security Protocols Verification. - Miroslaw Kurkowski; Olga Siedlecka-Lamch; Pawel Dudek (CISIM, 2013)