«Опыт верификации реализаций протокола TLS 1.3». 2021. Электронные библиотеки 24 (5). Kazan:902-22. https://doi.org/10.26907/1562-5419-2021-24-5-902-922.