Lucky Microseconds
L'attacco del 2015 che ha dimostrato come s2n di Amazon si fosse difesa da Lucky Thirteen con ritardi casuali — e come la casualità non basti.
Amazon ha rilasciato la libreria TLS s2n nel 2015 come alternativa snella a OpenSSL. Conteneva contromisure contro Lucky Thirteen, ma non il trattamento completo a tempo costante. Inseriva invece una pausa casuale dopo ogni errore di decifratura, nella convinzione che il rumore avrebbe coperto il segnale.
Martin Albrecht e Kenneth Paterson hanno dimostrato che non era così. La differenza temporale deriva dal numero di blocchi di compressione che HMAC deve elaborare a seconda del padding, e la granularità grossolana della pausa poteva essere mediata statisticamente. Ne è risultato un attacco padding oracle funzionante, capace di recuperare il testo in chiaro. Amazon ha corretto il difetto prima della pubblicazione dell'articolo. La lezione è vecchia ma vale la pena ripeterla: il rumore non sostituisce il codice a tempo costante.