Abstract:
In the paper a technology for solving cryptographic problems in volunteer computing projects is described. Authors have implemented volunteer project SAT@home in which a successful cryptanalysis of the keystream generator A5/1 was performed.