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