olegzaikin

Leading researcher, PhD

ISDCT SB RAS

Pinned Repositories

EnCnC
Estimate-and-Cube-and-Conquer
Language:Python20
MD4-CnC
Sources and data for the paper 'Inverting 43-step MD4 via Cube-and-Conquer' accepted to IJCAI-ECAI-2022
Language:Python10
alias
modulAr tooL for fInding bAckdoors for Sat (ALIAS)
Language:C++00
latinsquares
Searching for combinatorial designs based on Latin Squares
Language:C++00
olegzaikin.github.io
Personal page of Dr. Oleg Zaikin
Language:HTML00
paramsat
Language:Python00
satsha3finalists
SAT instances which encode preimage attacks on round-reduced finalists of the SHA-3 competition.
Language:C00
sha1-sat
SAT instance generator for SHA-1
Language:C++00
cbmc
C Bounded Model Checker
Language:C++780252
guide
🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
Language:TeX7412

olegzaikin's Repositories

olegzaikin/olegzaikin.github.io
Personal page of Dr. Oleg Zaikin
Language:HTML
olegzaikin/satsha3finalists
SAT instances which encode preimage attacks on round-reduced finalists of the SHA-3 competition.
Language:C
olegzaikin/EnCnC
Estimate-and-Cube-and-Conquer
Language:Python2
olegzaikin/latinsquares
Searching for combinatorial designs based on Latin Squares
Language:C++
olegzaikin/sha1-sat
SAT instance generator for SHA-1
Language:C++
olegzaikin/paramsat
Language:Python
olegzaikin/MD4-CnC
Sources and data for the paper 'Inverting 43-step MD4 via Cube-and-Conquer' accepted to IJCAI-ECAI-2022
Language:Python1
olegzaikin/alias
modulAr tooL for fInding bAckdoors for Sat (ALIAS)