Extending SAT Solvers to Cryptographic Problems. (2009)

by M Soos, K Nohl, C Castelluccia
Venue:In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing,