N. Alamgir, Nejati, S. , and Bright, C. , “SHA-256 Collision Attack with Programmatic SAT”, in Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning, 2024, vol. 3717, pp. 91–110.