A short proof of the unpredictability of cipher block chaining
Indistinguishability of Random Systems