Err, The site is pretty sparse on info, but "Applying SAT to crypto" wouldn't really gain you much would it? "Applying an NP-complete problem to the analysis of a definitely-not-NP-complete-&-maybe-not-even-NP-hard problem" ?