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