Sicurezza semantica
Il requisito per cui un testo cifrato non rivela nulla del testo in chiaro, e non basta che la chiave sia difficile da indovinare.
Shafi Goldwasser e Silvio Micali formalizzarono la nozione nel 1982, nel loro lavoro sulla cifratura probabilistica. Uno schema è semanticamente sicuro se un avversario non apprende dal testo cifrato nulla sul testo in chiaro oltre a ciò che avrebbe potuto indovinare comunque, anche potendo scegliere testi in chiaro e vederne le cifrature. Ne consegue direttamente che la cifratura deterministica non può mai soddisfare lo standard, perché lo stesso testo in chiaro produce sempre lo stesso testo cifrato.
ECB fallisce proprio per questo motivo, come mostra l'immagine del pinguino. IV e nonce casuali sono il modo abituale per soddisfare il requisito nelle modalità moderne.