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