@conference {DBLP:conf/paar/AlamgirNB24,
	title = {SHA-256 Collision Attack with Programmatic SAT},
	booktitle = {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},
	series = {CEUR Workshop Proceedings},
	volume = {3717},
	year = {2024},
	pages = {91{\textendash}110},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3717/paper5.pdf},
	author = {Nahiyan Alamgir and Saeed Nejati and Curtis Bright},
	editor = {Christopher W. Brown and Daniela Kaufmann and Cl{\'a}udia Nalon and Alexander Steen and Martin Suda}
}
