Криптографический принцип обречённости
Эмпирическое правило: любая криптографическая операция, выполненная до проверки MAC сообщения, рано или поздно приведёт к атаке.
Термин ввёл Мокси Марлинспайк в записи в блоге 2011 года: если вам приходится выполнять хоть какую-то криптографическую операцию до проверки MAC полученного сообщения, это неизбежно закончится бедой. Доказательств уже хватало. Padding oracle Воденэ (2002) работал потому, что дополнение CBC проверялось раньше MAC, а SSH в 2009 году пал к атаке, использовавшей расшифровку поля длины до какой-либо аутентификации.
Решение — encrypt-then-MAC: получатель проверяет тег по шифртексту и отбрасывает всё, что не прошло, не расшифровав ни байта. Lucky Thirteen появилась через два года после записи и подтвердила правоту применительно к TLS. Немногие принципы получают подтверждение так быстро.