|
|
Публикации в базе данных Math-Net.Ru
-
C# parser for extracting cryptographic protocols structure from source code
Труды ИСП РАН, 31:3 (2019), 191–202
-
О нестойкости двух симметричных гомоморфных криптосистем, основанных на системе остаточных классов
Тр. СПИИРАН, 18:1 (2019), 230–262
-
Слайдовый анализ шифра Магма:
разработка алгоритмов поиска ключа шифрования
и их временная оценка
Известия Кабардино-Балкарского научного центра РАН, 2018, № 6-2, 23–29
-
Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
Труды ИСП РАН, 30:4 (2018), 155–168
-
Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу
ПДМ. Приложение, 2017, № 10, 62–64
-
Моделирование уравнений для метода
линейного криптоанализа
современных блочных шифров
Известия Кабардино-Балкарского научного центра РАН, 2015, № 2, 9–15
-
Применение параллельных вычислений при решении задач защиты информации
Программные системы: теория и приложения, 4:3 (2013), 25–42
-
Разработка активной системы-ловушки
Известия Кабардино-Балкарского научного центра РАН, 2012, № 2, 62–69
© , 2024