Семенов Александр Михайлович

аспирант:Московский институт электроники и математики им. А.Н. Тихонова / Кафедра компьютерной безопасности

Обучение в аспирантуре

2-й год обучения
Утвержденная тема диссертации: Методы защищенной передачи данных для низкоресурсных вычислительных устройств
Научный руководитель: Нестеренко Алексей Юрьевич

Публикации

2017¹

Статья Семенов А. М. Analysis of Russian key-agreement protocols using automated verification tools // Математические вопросы криптографии. 2017. Vol. 8. No. 2. P. 131-142.

2018¹

Статья Гребнев С. В., Лазарева Е. В., Лебедев П. А., Нестеренко А. Ю., Семенов А. М. Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3 // Прикладная дискретная математика. Приложение. 2018. № 11. С. 62-65. doi

2019¹

Препринт Нестеренко А. Ю., Лебедев П. А., Семенов А. М. Краткий анализ криптографических механизмов защищенного взаимодействия контрольных и измерительных устройств / Технический комитет по стандартизации "Криптографическая защита информации". Серия б/н "Криптографические исследования". 2019.

Конференции

2018
17 ВСЕРОССИЙСКАЯ КОНФЕРЕНЦИЯ «СИБИРСКАЯ НАУЧНАЯ ШКОЛА-СЕМИНАР С МЕЖДУНАРОДНЫМ УЧАСТИЕМ “КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ”» – SIBECRYPT'18 (Абакан). Доклад: Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3
2017
16 Всероссийская конференция «Сибирская научная школа-семинар с международным участием «Компьютерная безопасность и криптография» Sibecrypt'17 (Красноярск). Доклад: О новом алгоритме выработки ключа из пароля
The Sixth China-Russia Conference on Numerical Algebra with Applications (CRCNAA 2017) (Москва). Доклад: Grafting the Herbs family of key exchange protocols onto the TLS tree
2016
V симпозиум «Современные тенденции в криптографии» CTCrypt'2016 (Ярославль). Доклад: Analysis of the Russian key-agreement protocols using automated verification tools