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