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