liuguozhen0 Goto Github PK
Type: User
Type: User
Code for the project
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
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.
Tools to handle Keccak collision/preimage problems via SAT
Transform a propositional formula into conjunction normal form.
Dimacs CNF utilities
Generates random CNF with certian variables such as number of variables, size of CNF, number of clauses, and some abilities to weight.
CNF generator in DIMACS format. It produces common families of CNFs.
A collection of hash functions, ciphers, tools, libraries, and materials related to cryptography. :closed_lock_with_key:
An advanced SAT solver
:books: Tech Interview Guide 技术面试必备基础知识、Leetcode 题解、Java、C++、Python、后端面试、操作系统、计算机网络、系统设计
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.
Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
Implementation of Espresso-II method for heuristic minimization of single output boolean functions
Keccak Code Package
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/
Tool to automatically search for linear characteristics
The instance generator of the Vision and Rescue 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
Quantum and classical MITM attacks using an MILP modeling
Code samples for my book "Neural Networks and Deep Learning"
SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
A toolkit for SAT-based prototyping in Python
Rescue and Poseidon hash function implementations
上海交通大学 XeLaTeX 学位论文模板 A XeLaTeX template for Shanghai Jiao Tong University (SJTU) thesis.
Optimized Collision Search for STARK-Friendly Hash Challenge Candidates
Simple Theorem Prover, an efficient SMT solver for bitvectors
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.