А. В. Никешин и В. З. Шнитман, «Опыт верификации реализаций протокола TLS 1.3», ЭБ, т. 24, вып. 5, сс. 902-922, ноя. 2021.