Research output: Contribution to journal › Article › peer-review
| Translated title of the contribution | SAT-based analysis of SHA-3 competition finalists |
|---|---|
| Original language | Russian |
| Pages (from-to) | 259-273 |
| Number of pages | 15 |
| Journal | Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie) |
| Volume | 25 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2024 |
ID: 72015275