Санкт-петербургский национальный исследовательский

С
ПИСОК
 
ИСТОЧНИКОВ
 
1. Cryptol documentation. ​
https://cryptol.net/documentation.html
2. Janicic P. URSA: a system for uniform reduction to SAT // Logical
 
Methods in Computer Science. ​
– 2012. – Vol. 8. – №. 3. – P. 1-39.
3. Отпущенников И. В., Семенов А. А. Технология трансляции
комбинаторных
проблем
в
SAT // Прикладная дискретная
математика. – 2011. – Т. 11. – №. 1. – С. 96-115. 
4. Otpuschennikov I.
​
,
​
Semenov A.
​
,
​
Gribanova I.
​
,
​
Zaikin O.
​
,
​
Kochemazov S.

 
 

 
 
 
Encoding Cryptographic Functions to SAT Using Transalg System //
ECAI conference. – 2016. 
5. Minisat: SAT-solver. – URL:  ​
https://github.com/niklasso/minisat
6. SAT Competition. – URL: ​
http://www.satcompetition.org
7. Lingeling: SAT-solver. – URL: ​
http://fmv.jku.at/lingeling/
8. Configurable
SAT
Solvers
Challenge
2014.
–
URL:
http://aclib.net/cssc2014/
9. Heule M., Kullmann O., Wieringa S., Biere A. Cube and conquer: Guiding
CDCL SAT solvers by lookaheads // Hardware and Software: Verification
and Testing: 7th International Haifa Verification Conference, HVC 2011,
Haifa, Israel, December 6-8, 2011, Revised Selected Papers. – Springer,
2012. – Vol. 7261. – P. 50. 
10. ROKK: SAT-solver. – URL: ​
http://satcompetition.org/edacc/sc14/
 
experiment/20/solver-configurations/1472
 
11. SATELlite: CNF minimizer. – URL: ​
http://minisat.se/SatELite.html
12. eSTREAM:
the
ECRYPT
Stream
Cipher
Project.
–
URL:
http://www.ecrypt.eu.org/stream/
 
13. Castro Lechtaler A., Cipriano M., García E., Liporace J., Maiorano A.,
Malvacio E. Model design for a reduced variant of a Trivium Type Stream
47 

---

Cipher // Journal of Computer Science and Technology. – 2014. – Vol. 14.
– №. 1. – P. 55-58. 
14. Semenov A., Zaikin O. Algorithm for Finding Partitionings of Hard
 
 
 
Variants of Boolean Satisfiability Problem with Application to Inversion
of Some Cryptographic Functions // SpringerPlus. – 2016. – Vol. 5. – P.
554-554.
15. Metropolis N., Ulam S. The Monte Carlo Method // Journal of the
 
 
 
American Statistical Association. – 1949. – Vol. 44. – №. 247. – P.
335-341. 
16. Semenov A., Zaikin O., Otpuschennikov I., Kochemazov S., Ignatiev A. On
 
 
 
 


 
cryptographic attacks using backdoors for SAT // The Thirty-Second
AAAI Conference on Artificial Intelligence. – IEEE, 2018. – P.
6641-6648. 
17. Иркутский суперкомпьютерный центр. – URL: ​
http://hpc.icc.ru/
48