Automatic verification of differential characteristics: application to reduced Gimli (Q2102064)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7627822
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automatic verification of differential characteristics: application to reduced Gimli |
scientific article; zbMATH DE number 7627822 |
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
0.8044481
0 references
0.7884344
0 references
0.78785366
0 references
