Никешин, Алексей Вячеславович, и Виктор Зиновьевич Шнитман. 2021. «Опыт верификации реализаций протокола TLS 1.3». Электронные библиотеки 24 (5). Kazan:902-22. https://doi.org/10.26907/1562-5419-2021-24-5-902-922.