Pawel Dudek

According to our database, Pawel Dudek authored at least 2 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Using Backward Induction Techniques in (Timed) Security Protocols Verification.

Miroslaw Kurkowski, Olga Siedlecka-Lamch, Pawel Dudek

Proceedings of the Computer Information Systems and Industrial Management, 2013

2011

Towards Parallel Direct SAT-Based Cryptanalysis.

Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny

Proceedings of the Parallel Processing and Applied Mathematics, 2011