Similar repositories to LiuGuozhen0/MILP-tool-for-cryptanalysis-of-block-ciphers:
LiuGuozhen0/MILP-tool-for-cryptanalysis-of-block-ciphers
github
similar
hadipourh/CRAFT-Integral-Distinguisher
github
similar
hadipourh/MIBS-Integral-Cryptanalysis-Basd-on-Division-Property
github
similar
dnlcog/efficient_milp_modelings
github
similar
fukai6/NewAutomaticSearchTool
github
similar
Chunning-Zhou/MILPBasedSearchAlgorithmDiff
github
similar
HugeChaos/Impossible-differentials-and-impossible-polytopic-transitions
github
similar
giftcipher/gift
github
similar
ongetekend/ThinkingOutsideTheSuperbox
github
similar
biwenquan/MILP-aided-Cube-attack-like-cryptanalysis
github
similar
LiuGuozhen0/KeccakCodePackage
github
similar
LFKOKAMI/KeccakXoodoo
github
similar
QuanQuanTan/Exploring-Differential-Based-Distinguishers-and-Forgeries-for-ASCON
github
similar
LFKOKAMI/GimliAnalysis
github
similar
tarunyadav/PIPO-MILP
github
similar
yap231995/Linear-and-Differential-Cryptanalysis-Tutorial
github
similar
Wbeaching/Man-In-The-Middle-attack-PRESENT24-attack
github
similar
zhuby12/MILP-basedModel
github
similar
mhgharieb/Speed_up_MILP_with_Matsui
github
similar
SunLing134340/Accelerating_Automatic_Search
github
similar
theboxahaan/keccak-milp
github
similar
siweisun/mitm-attacks-revisited
github
similar
LurkNoi/Differential-and-Linear-Cryptanalysis
github
similar
fukai6/milp_speck
github
similar
siweisun/cas-symmetric-Q-lecture
github
similar
keithmgould/cryptanalysis
github
similar
xiangzejun/MILP_Division_Property
github
similar
ranea/CASCADA
github
similar
ascon/ascon_collection
github
similar
KeccakTeam/Xoodoo
github
similar
kste/cryptosmt
github
similar
meelgroup/bosphorus
github
similar
KeccakTeam/KeccakTools
github
similar
Deadlyelder/Tools-for-Cryptanalysis
github
similar
stp/stp
github
similar
arminbiere/cadical
github
similar
msoos/cryptominisat
github
similar
SRI-CSL/yices2
github
similar
XKCP/XKCP
github
similar
xinychen/latex-cookbook
github
similar