Automatic verification of differential characteristics: application to reduced Gimli (Q2102064): Difference between revisions
From MaRDI portal
Latest revision as of 00:14, 31 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automatic verification of differential characteristics: application to reduced Gimli |
scientific article |
Statements
Automatic verification of differential characteristics: application to reduced Gimli (English)
0 references
7 December 2022
0 references
Gimli
0 references
hash function
0 references
AE
0 references
MILP
0 references
collision
0 references
state-recovery
0 references