Showing 1 - 9 results of 9 for search 'Заикин, Олег Сергеевич', query time: 0.02s Refine Results
  1. 1
    Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Обращение 29-шаговой функции сжатия MD5 при помощи алгоритмов решения проблемы булевой выполнимости
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  3. 3
    Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ диссертация на соискание ученой степени кандидата технических наук : 05.13.01 - системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
    Перейти в каталог НБ ТГУ
    Book
  4. 4
    Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    Нахождение прообраза 44-шаговой функции сжатия MD4 при ослабленном последнем шаге
    Get full text
    Article
  6. 6
    Алгебраический криптоанализ 9 раундов низкоресурсного блочного шифра Simon32/64
    Other Authors: “...Заикин, Олег Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    Пропозициональное кодирование прямых и обратных раундовых преобразований в атаках на некоторые блочные шифры
    Other Authors: “...Заикин, Олег Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  8. 8
    Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT
    Other Authors: “...Заикин, Олег Сергеевич...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD
    Other Authors: “...Заикин, Олег Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed