Калгин Константин Викторович

Публикации в базе данных Math-Net.Ru

1. Применение SAT-решателей к задаче поиска векторных булевых функций с требуемыми криптографическими свойствами
   
   Дискретн. анализ и исслед. опер., 29:4 (2022),  38–58
2. DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ
   
   ПДМ. Приложение, 2021, № 14,  187–190
3. Компактный транслятор алгоритмов в булевы формулы для применения в криптоанализе
   
   ПДМ. Приложение, 2020, № 13,  135–136
4. Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами
   
   ПДМ. Приложение, 2020, № 13,  129–132
5. On a secondary construction of quadratic APN functions
   
   ПДМ. Приложение, 2020, № 13,  37–39
6. Параллельная реализация асинхронных клеточных автоматов на 32-ядерной вычислительной системе
   
   Сиб. журн. вычисл. матем., 15:1 (2012),  55–65
7. Реализация алгоритмов с мелкозернистым параллелизмом на графических ускорителях
   
   Сиб. журн. вычисл. матем., 14:1 (2011),  59–70


8. The Seventh International Olympiad in Cryptography: problems and solutions
   
   Сиб. электрон. матем. изв., 18:2 (2021),  4–29