Currently in the SAT@home project problems of inversion of some cryptographic functions used in stream ciphers are being solved. All cryptographic algorithms under investigation are publicly available.
Corresponding tasks are randomly generated and do not contain any confidential information. In the nearest future SAT@home is going to launch an experiment for solving the Quadratic Assignment problem within the project. The project was implemented using a DC-API library.
The Institute for Systems Analysis of the Russian Academy of Sciences is member of the International Desktop Grid Federation. http://desktopgridfederation.org