A bit-vector differential model for the modular addition by a constant (Q2692348)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A bit-vector differential model for the modular addition by a constant |
scientific article |
Statements
A bit-vector differential model for the modular addition by a constant (English)
0 references
21 March 2023
0 references
modular addition by a constant
0 references
differential probability
0 references
ARX
0 references
SMT
0 references
automated search
0 references
bit-vector theory
0 references
