Add to Quick Collection
All 15 Results
Showing items 1 - 15 of 15.
Add All Items to Quick Collection
Source: Прикладная дискретная математика. Приложение. 2023. № 16. С. 65-70
Type: статьи в журналах
Date: 2023
Description:
Рассматривается низкоресурсный блочный шифр Simon32/64 из семейства Simon. Полная версия этого шифра состоит из 32 раундов. Задачи криптоанализа для 8 раундов Simon32/64 были неоднократно решены с пом
... More
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 74-80
Type: статьи в сборниках
Date: 2022
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Type: статьи в сборниках
Date: 2022
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 99-108
Type: статьи в сборниках
Date: 2022
Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]
Type: статьи в сборниках
Date: 2021
Description:
Constructing testability functions of a combinational circuit line, such as: the controllability, observability and stuck-at fault detection functions, as well as the complement of the observability f
... More
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 187-190
Type: статьи в журналах
Date: 2021
Description:
Описаны SAT-решатель, использующий системы булевых уравнений в алгебраической нормальной форме (АНФ) для внутреннего представления задачи, и особенности реализации типичных для SAT-решателей методик д
... More
Source: Russian physics journal. 2021. Vol. 63, № 12. P. 2178-2188
Type: статьи в журналах
Date: 2021
Description:
Combinational circuit C composed of gates and its sub-circuit with set V of output nodes and set U of input nodes are considered. The set V consists of output nodes of fault gates of the circuit C (on
... More
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 223-228
Type: статьи в сборниках
Date: 2021
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 214-218
Type: статьи в сборниках
Date: 2021
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description:
С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани
... More
Source: Прикладная дискретная математика. Приложение. 2020. № 13. С. 129-132
Type: статьи в журналах
Date: 2020
Description:
Представлен подход к решению некоторых криптографических задач, основанный на их сведении к классической задаче о выполнимости и последующем использовании SAT-решателей. Построены формулы, определяющи
... More
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 178-188
Type: статьи в сборниках
Date: 2020
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340
Type: статьи в сборниках
Date: 2020
Description:
Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 51-52
Type: статьи в сборниках
Date: 2014