Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Irina Griban"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
The European Proceedings of Social and Behavioural Sciences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::184f0d96912042e554f680c136ba6ee7
https://doi.org/10.15405/epsbs.2019.12.04.157
https://doi.org/10.15405/epsbs.2019.12.04.157
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
In the present paper, we propose a technology for translating algorithmic descriptions of discrete functions to SAT. The proposed technology is aimed at applications in algebraic cryptanalysis. We describe how cryptanalysis problems are reduced to SA
Externí odkaz:
https://doaj.org/article/211699ecd02647f283ebb6bdc511fc99