| Publication | Date of Publication | Type |
|---|
Enumerating extended self-orthogonal diagonal Latin squares of order up to 10
Journal of Integer Sequences | 2026-02-09 | Paper |
Algebraic cryptanalysis of 9 rounds of lightweight block cipher Simon32/64
Prikladnaya Diskretnaya Matematika. Supplement | 2025-11-14 | Paper |
Inverting 29-step MD5 compression function via SAT
Prikladnaya Diskretnaya Matematika. Supplement | 2025-11-14 | Paper |
Preimage attack on 44-step MD4 compression function with weakened last step
Prikladnaya Diskretnaya Matematika. Supplement | 2025-11-14 | Paper |
Revisiting Dobbertin constraints for SAT-based preimage attacks on round-reduced MD4 compression function
Prikladnaya Diskretnaya Matematika. Supplement | 2025-11-12 | Paper |
Preimage attack on 5-round cryptographic hash function JH-256 via parallel SAT solver
Prikladnaya Diskretnaya Matematika. Supplement | 2025-11-12 | Paper |
| Inverting Cryptographic Hash Functions via Cube-and-Conquer - Results and Source code | 2024-09-16 | Dataset |
On black-box optimization in divide-and-conquer SAT solving
Optimization Methods & Software | 2022-06-27 | Paper |
| Projection heuristics for binary branchings between sum and product | 2022-03-22 | Paper |
Finding Effective SAT Partitionings Via Black-Box Optimization
Black Box Optimization, Machine Learning, and No-Free Lunch Theorems | 2021-09-30 | Paper |
| Improving effectiveness of neighborhood-based algorithms for optimization of costly pseudo-Boolean black-box functions | 2021-04-19 | Paper |
| Solving of cryptanalysis problems in grid systems (by the example of BOINC) | 2021-02-15 | Paper |
| A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems | 2021-01-25 | Paper |
| Analysis of some cryptographic primitives on computer clusters | 2020-08-20 | Paper |
| Black-box optimization in an extended search space for SAT solving | 2020-05-19 | Paper |
scientific article; zbMATH DE number 7199588 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7199588 (Why is no real title available?) | 2020-05-12 | Paper |
| Enumerating diagonal Latin squares of order up to 9 | 2020-01-27 | Paper |
| ALIAS: a modular tool for finding backdoors for SAT | 2018-08-10 | Paper |
| Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order | 2017-09-08 | Paper |
A volunteer-computing-based grid architecture incorporating idle resources of computational clusters
Lecture Notes in Computer Science | 2017-07-07 | Paper |
| On the construction of triples of diagonal Latin squares of order 10 | 2017-02-13 | Paper |
| Multi-criteria approach to comparison of inspection allocation for multi-product manufacturing systems in make-to-order sector | 2014-04-25 | Paper |
Algorithms for constructing decomposition sets in application to coarse-grained parallelization of SAT problems
The Bulletin of Irkutsk State University. Series Mathematics | 2013-06-12 | Paper |
Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
Lecture Notes in Computer Science | 2011-11-23 | Paper |
| SAT-approach to cryptography of some stream ciphering systems | 2010-12-08 | Paper |
Cost estimation algorithm and decision-making model for curriculum modification in educational organization
European Journal of Operational Research | 2009-04-30 | Paper |
Model and algorithm of the conceptual scheme formation for knowledge domain in distance learning
European Journal of Operational Research | 2006-10-27 | Paper |
Modeling and optimization of the throughput of the processing nodes in computer-aided control systems of distributed production of printer matter
Automation and Remote Control | 2005-06-17 | Paper |
| scientific article; zbMATH DE number 2159451 (Why is no real title available?) | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 2087381 (Why is no real title available?) | 2004-08-11 | Paper |
