Inverting Cryptographic Hash Functions via Cube-and-Conquer von Zaikin, Oleg

Volltext

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems von Alexander Semenov, Ilya Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov

Volltext

Using Volunteer Computing to Study Some Features of Diagonal Latin Squares von Vatutin, Eduard, Zaikin, Oleg, Kochemazov, Stepan, Valyaev, Sergey

Volltext

A Bitslice Implementation of Anderson’s Attack on A5/1 von Bulavintsev, Vadim, Semenov, Alexander, Zaikin, Oleg, Kochemazov, Stepan

Volltext

A Volunteer Computing Project for Solving Geoacoustic Inversion Problems von Zaikin, Oleg, Petrov, Pavel, Posypkin, Mikhail, Bulavintsev, Vadim, Kurochkin, Ilya

Volltext

A parallel SAT solving algorithm based on improved handling of conflict clauses von Zaikin, Oleg

Volltext

Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions von Semenov, Alexander, Zaikin, Oleg

Volltext

Classification of Cells Mapping Schemes Related to Orthogonal Diagonal Latin Squares of Small Order von Vatutin, Eduard, Zaikin, Oleg

Volltext

Using BOINC desktop grid to solve large scale SAT problems von Posypkin, Mikhail, Semenov, Alexander, Zaikin, Oleg

Volltext

Supply Chain Optimisation: Product/Process Design, Facility Location and Flow Control von Dolgui, Alexandre, Soldek, Jerzy, Zaikin, Oleg

Volltext

Inverting Cryptographic Hash Functions via Cube-and-Conquer von Zaikin, Oleg

Volltext

Projection Heuristics for Binary Branchings Between Sum and Product von Kullmann, Oliver, Zaikin, Oleg

Volltext

Analysis of the geospatial activity profiles of bank customers von Petukhov, Anton, Zaikin, Oleg, Bochenina, Klavdiya

Volltext

Optimizing Spatial Accessibility of Company Branches Network with Constraints von Zaikin, Oleg, Derevitskii, Ivan, Bochenina, Klavdiya, Holyst, Janusz

Volltext

Improving Effectiveness of Neighborhood-Based Algorithms for Optimization of Costly Pseudo-Boolean Black-Box Functions von Zaikin, Oleg, Kochemazov, Stepan

Volltext

ALIAS: A Modular Tool for Finding Backdoors for SAT von Kochemazov, Stepan, Zaikin, Oleg

Volltext

Black-Box Optimization in an Extended Search Space for SAT Solving von Zaikin, Oleg, Kochemazov, Stepan

Volltext

Finding Effective SAT Partitionings Via Black-Box Optimization von Semenov, Alexander, Zaikin, Oleg, Kochemazov, Stepan

Volltext

An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator von Zaikin, Oleg, Kochemazov, Stepan

Volltext

On the Construction of Triples of Diagonal Latin Squares of Order 10 von Zaikin, Oleg, Zhuravlev, Alexey, Kochemazov, Stepan, Vatutin, Eduard

Volltext