А. В. Никешин и В. З. Шнитман, «Опыт верификации реализаций клиента протокола TLS 1.3», ЭБ, т. 26, вып. 1, сс. 104-121, мар. 2023.