TY - RPRT TI - Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks AU - Alexander Semenov AU - Oleg Zaikin AU - Ilya Otpuschennikov PY - 2014 UR - https://arxiv.org/abs/1411.5433 ID - 1411.5433 ER -