weird

  1. Сергей Попов

    На проверке Weird machines в TLS: скрытые вычислительные примитивы в handshake OpenSSL и BoringSSL

    Ни один TLS-стек, который я пропускал через дифференциальный фаззинг, не отвергал все невалидные state transitions. Ни OpenSSL, ни BoringSSL, ни GnuTLS - каждый принимал хотя бы часть переходов, не описанных в RFC. FlexTLS (2015) подтвердила это систематически: все протестированные реализации...