Files

CRAFT-ST-10-Rounds
CRAFT-ST-11-Rounds
CRAFT-ST-12-Rounds
CRAFT-ST-14-Rounds-Dedicated
CRAFT-ST-6-Rounds
CRAFT-ST-7-Rounds
CRAFT-ST-8-Rounds
CRAFT-ST-9-Rounds
CRAFT-ST-MILP-SwitchingEffect
CRAFT-ST-MiddlePart-7-Rounds
CRAFT-ST-Probability-Computations-9-14-Rounds-Sage
DifferentialEffectExperimentalComputation
MILP-SKINNY-128-BitWise
- Skinny128-256-BitWise
  - .vscode
  - input_example.yaml
  - main.py
  - skinny128.py
- Skinny128-384-BitWise
NoteOnExperimentalVerification
PageResources
SKINNY-128-256-I
SKINNY-128-256-II
SKINNY-128-384-I
SKINNY-64-128-I
SKINNY-64-128-II
SKINNY-64-192-I
SKINNY-MILP-SwitchingEffect
SMT-SAT-CRAFT-BitWise-1
SMT-SAT-CRAFT-BitWise-2
SMT-SAT-SKINNY-64-BitWise
TestRightQuartets
LICENSE.txt
README.md

Skinny128-256-BitWise

May 8, 2021

c5b6666 · May 8, 2021

Name		Name	Last commit message	Last commit date
parent directory ..
.vscode		.vscode	init	May 8, 2021
input_example.yaml		input_example.yaml	init	May 8, 2021
main.py		main.py	init	May 8, 2021
skinny128.py		skinny128.py	init	May 8, 2021