Extending SAT solvers to cryptographic problems (2009)

by M Soos, K Nohl, C Castelluccia
Venue:In Proc. of SAT’09