liuguozhen0 Goto Github PK

a-deeper-look-at-machine-learning-based-cryptanalysis

Code for the project

accelerating_automatic_search

bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

cgen

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

cnf-keccak

Tools to handle Keccak collision/preimage problems via SAT

cnf-tools

cnf-transformer

Transform a propositional formula into conjunction normal form.

cnf-utils

Dimacs CNF utilities

cnf_generator

Generates random CNF with certian variables such as number of variables, size of CNF, number of clauses, and some abilities to weight.

cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

cryptography

A collection of hash functions, ciphers, tools, libraries, and materials related to cryptography. :closed_lock_with_key:

cryptominisat

An advanced SAT solver

cs-notes

:books: Tech Interview Guide 技术面试必备基础知识、Leetcode 题解、Java、C++、Python、后端面试、操作系统、计算机网络、系统设计

data-science-ipython-notebooks

Data science Python notebooks: Deep learning (TensorFlow, Theano, Caffe, Keras), scikit-learn, Kaggle, big data (Spark, Hadoop MapReduce, HDFS), matplotlib, pandas, NumPy, SciPy, Python essentials, AWS, and various command lines.

deep_speck

Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"

espresso-iisojs

Implementation of Espresso-II method for heuristic minimization of single output boolean functions

keccakcodepackage

Keccak Code Package

keccaktools

KeccakTools is a set of C++ classes that can help analyze the Keccak sponge function family, designed by Guido Bertoni, Joan Daemen, Michaël Peeters and Gilles Van Assche. For more information, please refer to our website: http://keccak.noekeon.org/

lineartrails

Tool to automatically search for linear characteristics

marvellous

The instance generator of the Vision and Rescue block ciphers.

milp-tool-for-cryptanalysis-of-block-ciphers

This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do differential and linear cryptanalysis on it. It is also suitable to find impossible input and output, which helps you in impossible differential attack, and zero-correlation attack. The MILP models are based on Gurobi format. In the link (https://drive.google.com/open?id=1VkDEjezc8PJR6m0JA8kaizTNV4IjLT1W ) you can see how the tool works

mitm-milp

Quantum and classical MITM attacks using an MILP modeling

neural-networks-and-deep-learning

Code samples for my book "Neural Networks and Deep Learning"

new-pac

preimage-attacks

SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions

pysat

A toolkit for SAT-based prototyping in Python

rescue-poseidon

Rescue and Poseidon hash function implementations

sjtuthesis

上海交通大学 XeLaTeX 学位论文模板 A XeLaTeX template for Shanghai Jiao Tong University (SJTU) thesis.

starkware_hash_challenge

Optimized Collision Search for STARK-Friendly Hash Challenge Candidates

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors