Evaluating SAT Accelerations for Cryptanalytic Trail Search - Low-Parallelism Portfolio Parallelism and A Comparison of Matsui-Based Methods.

Tenglong Yuan, Bingqing Li, Ling Sun

Browse the full ACISP paper archive.