Pawel Dudek

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Artificial Immune Algorithm

Security Protocols

Colored Petri Nets

Cryptographic Algorithms

Top Venues

Publications

Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek
Using Backward Induction Techniques in (Timed) Security Protocols Verification. CISIM (2013)
Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny
Towards Parallel Direct SAT-Based Cryptanalysis. PPAM (1) (2011)