New paper about solving cryptanalysis problems for some stream ciphers in the SAT@home project
Paper Alexander Semenov, Oleg Zaikin and Ilya Otpuschennikov. Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. arXiv:1411.5433 [cs.DC] was published on arxiv.

?????? Alexander Semenov, Oleg Zaikin and Ilya Otpuschennikov. Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks. arXiv:1411.5433 [cs.DC] ???? ???????????? ?? arxiv.

More...