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

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

1. Методика оценки безопасности криптографических протоколов
   
   ПДМ, 2022, № 56,  33–82
2. Интеграция отечественных протоколов выработки общего ключа в протокол TLS 1.3
   
   ПДМ. Приложение, 2018, № 11,  62–65
3. Analysis of Russian key-agreement protocols using automated verification tools
   
   Матем. вопр. криптогр., 8:2 (2017),  131–142