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