Automatic search of bit-based division property for ARX ciphers and word-based division property (Q2412870)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic search of bit-based division property for ARX ciphers and word-based division property |
scientific article |
Statements
Automatic search of bit-based division property for ARX ciphers and word-based division property (English)
0 references
6 April 2018
0 references
automatic search
0 references
division property
0 references
ARX
0 references
SAT/SMT
0 references
