2020-591
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [Resource Topic] 2020/591: Automatic Verification of Differential Characteristics: Application to Reduced Gimli (Full Version) |
|
0 | 107 | July 31, 2022 |