Automatic verification of differential characteristics: application to reduced Gimli (Q2102064)
From MaRDI portal
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
