Sicurezza oltre il birthday bound
Modalità operative e MAC le cui dimostrazioni di sicurezza valgono ben oltre 2n/2 blocchi, cioè oltre il consueto limite delle collisioni.
CBC, CTR, GCM e la maggior parte delle modalità classiche sono dimostrabilmente sicure solo fino al birthday bound. Con AES, 264 blocchi sono un tetto lontano, ma con cifrari a 64 bit si parla di poche decine di gigabyte, come ha mostrato in modo molto concreto Sweet32. La crittografia leggera, con i suoi blocchi piccoli, ha riportato il problema d'attualità.
Le soluzioni funzionano tutte nascondendo le collisioni. Lo XOR di due permutazioni indipendenti somiglia quasi perfettamente a una funzione casuale. Su questa idea Kan Yasuda ha costruito SUM-ECBC nel 2010 e PMAC_Plus nel 2011, e CENC fa lo stesso per la modalità contatore. Il prezzo è un maggior numero di chiamate al cifrario o uno stato più grande, con dimostrazioni così lunghe che anche i revisori hanno bisogno del caffè.