|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
А. Ю. Нестеренко, А. М. Семенов, “Методика оценки безопасности криптографических протоколов”, ПДМ, 2022, № 56, 33–82 |
2
|
|
2018 |
2. |
С. В. Гребнев, Е. В. Лазарева, П. А. Лебедев, А. Ю. Нестеренко, А. М. Семенов, “Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3”, ПДМ. Приложение, 2018, № 11, 62–65 |
1
|
|
2017 |
3. |
A. M. Semenov, “Analysis of Russian key-agreement protocols using automated verification tools”, Матем. вопр. криптогр., 8:2 (2017), 131–142 |
1
|
|