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