Tenglong Yuan, Bingqing Li, Ling Sun. Evaluating SAT Accelerations for Cryptanalytic Trail Search - Low-Parallelism Portfolio Parallelism and A Comparison of Matsui-Based Methods. In Siqi Ma 0001, Surya Nepal, editors, Information Security and Privacy - 31st Australasian Conference, ACISP 2026, Perth, WA, Australia, July 6-9, 2026, Proceedings, Part II. Volume 16793 of Lecture Notes in Computer Science, pages 96-114, Springer, 2026. [doi]
Abstract is missing.