meichunjia

meichunjia's Stars

• tarunyadav/MILES

  Tool for Modeling Large S-box in MILP Based Differential Characteristics Search

  Language:JavaScript71

• YunwenL/Boomerang_gift

  Related-Key Boomerang Attacks on GIFT with Automated Trail Search Including BCT Effect

  Language:C++31

• XuepingYan/The-Boomerang-Chain-Distinguishers

  Language:C++1

• TimBeyne/quasidifferential-trails

  SMT models for finding quasidifferential trails in RECTANGLE, KNOT, Speck and Simon.

  Language:Python6

• xbonnetain/sboxU

  Tools for studying S-boxes

  Language:Python2

• xbonnetain/optimization-subset-sum

  Numerical optimization code for classical and quantum subset-sum algorithms

  Language:Python10

• xbonnetain/boomerang-distinguishers

  This code is accompanying the articles "On boomerang attacks on quadratic Feistel ciphers" and "On impossible boomerang attacks".

  Language:Python3

• adelsakkir/Knapsack_DP_DepthFirstSearch

  Dynamic Programming, MILP, Depth First Search and Greedy Algorithms

  Language:Jupyter Notebook2

• laurencebho/kidneyx

  Solving the kidney exchange problem using Integer Linear Programming with a greedy heuristic

  Language:Python32

• RalfRothenberger/GreedyMax

  Three Algorithms to solve MaxCut: an optimal solver via Integer Linear Programming with Gurobi, an approximative greedy solver and an approximative random greedy solver

  Language:C++53

• sam-fletcher/Greedy_DP_Forest

  A Differentially Private Decision Forest using greedy splitting heuristics

  Language:Python12

• trickest/insiders

  Archive of Potential Insider Threats

  13821

• awesee/leetcode

  LeetCode Problems' Solutions

  Language:Go281126

• tgbot-collection/YYeTsBot

  🎬 人人影视 机器人和网站，包含人人影视全部资源以及众多网友的网盘分享

  Language:Python14.6k1.8k

• VIP-Share/Baidu-XunleiVIP

  百度网盘超级会员，迅雷会员、爱奇艺会员账号每日分享，还有优酷，腾讯，芒果等VIP。AND。百度网盘(百度云)不限速工具分享。

  2.8k233

• mhgharieb/GurobiOnCryptanalysis

  Language:Python103

• lizhengcn/MILP_conditional_cube_attack

  Materials of "Improved Conditional Cube Attacks on Keccak Key Modes with MILP Method".

  Language:C++66

• chocoteam/choco-solver

  An open-source Java library for Constraint Programming

  Language:Java690144

• mmeh/simon-speck-cryptanalysis

  Cryptanalysis code for the SIMON and SPECK families of block ciphers

  Language:C++2012

• kste/haraka

  Haraka is a secure and efficient short-input hash function.

  Language:C538

• iaikkrypto/lineartrails

  Tool to automatically search for linear characteristics

  Language:C++3912

• prokls/bakk_iaik

  Bachelor thesis "Using SAT Solvers to detect Contradictions in Differential Characteristics"

  Language:TeX31

• siweisun/stp

  Simple Theorem Prover.

  Language:C++1

• kste/matsui

  Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.

  Language:Objective-C75

• siweisun/matsui

  Implementation of Matsui's algorithm for finding the minimum number of active S-boxes.

  Language:Objective-C21

• siweisun/keccak224

  A practical preimage attack on 3-round Keccak-224

  Language:C++1

• siweisun/LeetCodeAnimation

  Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

  22

• siweisun/milp-three-subset-wo-unknown

  11

• siweisun/YYeTsBot

  🎬 人人影视bot，完全对接人人影视全部无删减资源

  2

• hadipourh/autoguess

  An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

  Language:Python274