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