Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh. Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. In John N. Hooker, editor, Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Volume 11008 of Lecture Notes in Computer Science, pages 737-754, Springer, 2018. [doi]