Pinned Repositories
ai-image-gen
amplifyapp
test react app
caesar_benchmarks_secondround
cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
gittrainingslides
low-energy-sboxes
A repository for low-energy 4-bit S-boxes
neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
sparx-differential-attacks
Git repository for the paper Differential Cryptanalysis of Round-Reduced Sparx-64/128
yaarx
Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
TheBananaMan's Repositories
TheBananaMan/cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
TheBananaMan/sparx-differential-attacks
Git repository for the paper Differential Cryptanalysis of Round-Reduced Sparx-64/128
TheBananaMan/caesar_benchmarks_secondround
TheBananaMan/neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
TheBananaMan/yaarx
Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
TheBananaMan/ai-image-gen
TheBananaMan/amplifyapp
test react app
TheBananaMan/espresso-logic
A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.
TheBananaMan/gittrainingslides
TheBananaMan/low-energy-sboxes
A repository for low-energy 4-bit S-boxes
TheBananaMan/MILP_Division_Property
Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
TheBananaMan/milp_speck
TheBananaMan/neural-cryptography-tensorflow
Neural Networks that invent their own encryption :key:
TheBananaMan/testapp
TheBananaMan/understanding-shiftrows
Repository for our CT-RSA 2015 paper "Analyzing Permutations for AES-like Ciphers: Understanding ShiftRows"