Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.

Saeed Nejati, Jan Horcek, Catherine H. Gebotys, Vijay Ganesh

Browse the full CP paper archive.