Towards Parallel Direct SAT-Based Cryptanalysis

Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny. Towards Parallel Direct SAT-Based Cryptanalysis. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I. Volume 7203 of Lecture Notes in Computer Science, pages 266-275, Springer, 2011. [doi]

Authors

Pawel Dudek

This author has not been identified. Look up 'Pawel Dudek' in Google

Miroslaw Kurkowski

This author has not been identified. Look up 'Miroslaw Kurkowski' in Google

Marian Srebrny

This author has not been identified. Look up 'Marian Srebrny' in Google