Никешин, Алексей Вячеславович, и Виктор Зиновьевич Шнитман. «Опыт верификации реализаций протокола TLS 1.3». Электронные библиотеки 24, no. 5 (ноябрь 6, 2021): 902-922. просмотрено май 13, 2025. https://rdl-journal.ru/article/view/707.