Extending SAT Solvers to Cryptographic Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mate Soos, Karsten Nohl, Claude Castelluccia. Extending SAT Solvers to Cryptographic Problems. In Oliver Kullmann, editor, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Volume 5584 of Lecture Notes in Computer Science, pages 244-257, Springer, 2009. [doi]

This author has not been identified. Look up 'Mate Soos' in GoogleThis author has not been identified. Look up 'Karsten Nohl' in GoogleThis author has not been identified. Look up 'Claude Castelluccia' in Google

runs on WebDSL