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