Showing 1 - 20 results of 28 for search 'Семенов, Александр Анатольевич', query time: 0.02s Refine Results
  1. 1
    Теорема Адлмана и сложность задач обращения некоторых криптографических функций
    Book Chapter
  2. 2
    Консервативные преобразования систем логических уравнений
    Book Chapter
  3. 3
    Эвристический поиск в криптоанализе генераторов двоичных последовательностей
    Book Chapter
  4. 4
    Ограниченная релятивизация и аргументация включения P ??? NP ??? co-NP
    Book Chapter
  5. 5
    Гибридный (SAT+ROBDD) логический вывод в задачах обращения дискретных функций
    Book Chapter
  6. 6
    Технологии решения многомерных задач логического поиска
    Book Chapter
  7. 7
    Атаки из класса "угадывай и определяй" и автоматические способы их построения
    Get full text
    Article
  8. 8
    Логический подход к анализу криптографических игр
    Book Chapter
  9. 9
    Мультиферроидные материалы в СВЧ электронике и наноэнергетике автореферат диссертации на соискание ученой степени доктора технических наук : 05.27.01
    Book
  10. 10
    О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях
    Get full text
    Article
  11. 11
    Оценки трудности доказательств и криптографических атак, основанных на лазейках
    Get full text
    Article
  12. 12
    Поиск линеаризующих множеств в алгебраическом криптоанализе как задача псевдобулевой оптимизации
    Get full text
    Article
  13. 13
    Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
    Get full text
    Article
  14. 14
    Эффективный алгоритм построения множества кратчайших атак в рамках одной модели развития атак в компьютерной сети
    Other Authors: “...Семенов, Александр Анатольевич...”
    Get full text
    Article
  15. 15
    Об аргументации отсутствия свойств случайного оракула у некоторых криптографических хеш-функций
    Other Authors: “...Семенов, Александр Анатольевич...”
    Get full text
    Article
  16. 16
    Применение инверсных лазеек для построения атак из класса "угадывай и определяй" на хеш-функции семейства MD4
    Other Authors: “...Семенов, Александр Анатольевич...”
    Get full text
    Article
  17. 17
    Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров
    Other Authors: “...Семенов, Александр Анатольевич...”
    Get full text
    Article
  18. 18
    Решение систем логических уравнений с использованием BDD
    Other Authors: “...Семенов, Александр Анатольевич...”
    Book Chapter
  19. 19
    Использование двоичных диаграмм решений в задачах обращения дискретных функций
    Other Authors: “...Семенов, Александр Анатольевич...”
    Book Chapter
  20. 20
    Анализ дискретных моделей генных сетей при помощи символьных решателей логических уравнений
    Other Authors: “...Семенов, Александр Анатольевич...”
    Book Chapter
Search Tools: Get RSS Feed