Blockwise-Adaptive Attackers Revisiting the (In)Security of Some Provably Secure Encryption Modes: CBC, GEM, IACBC
In this paper, we show that the natural and most common way of implementing modes of operation for cryptographic primitives often leads to insecure implementations. We illustrate this problem by attacking several modes of operation that were proved to be semantically secure against either chosen plaintext or chosen ciphertext attacks.
The problem stems from the simple following fact: in the definition and proofs of semantic security, messages are considered as atomic objects that cannot be split; however, in most practical implementations, messages are subdivided into smaller chunks than can be easily manipulated. Depending on the implementation, each chunk may consist of one or several blocks of the underlying primitive. The key point here is that upon reception of a processed chunk, the attacker can now adapt his choice for the next chunk. Since the possibility of adapting within a single message is not taken into account in the current security models, this leaves room for unexpected attacks.
We illustrate this new paradigm by attacking three symmetric and hybrid encryption schemes based on the chaining mode in spite of their security proofs.
- Bellare, M., Boldyreva, A., Knudsen, L., Namprempre, C. On-Line Ciphers and the Hash-CBC Construction. In: Kilian, J. eds. (2001) Advances in Cryptology — Crypto’01. Springer-Verlag, Berlin, pp. 292-309
- M. Bellare, A. Desai, E. Jokipii, and P. Rogaway. A Concrete Security Treatment of Symmetric Encryption. In Proceedings of the 38th Symposium of Fundations of Computer Science. IEEE, 1997.
- Bellare, M., Namprempre, C. Authenticated Encryption: Relations among notions and analysis of the generic composition paradigm. In: Okamoto, T. eds. (2000) Advances in Cryptology — Asiacrypt’00. Springer-Verlag, Berlin
- Gligor, V.D., Donescu, P. (2001) Fast Encryption and Authentication: XCBC and XECB Authentication Modes. Fast Software Encryption. Springer-Verlag, Berlin
- Coron, J.S., Handshuh, H., Joye, M., Paillier, P., Pointcheval, D., Tymen, C. Reallife Chosen-Ciphertext Secure Encryption of Arbitrary-Length Messages. In: Naccache, D. eds. (2002) PKC’2002. Springer-Verlag, Berlin, pp. 17-33
- Desai, A., Hevia, A., Yin, Y.L. A Practice-Oriented Treatment of Pseudorandom Number Generators. In: Knudsen, L. eds. (2002) Advances in Cryptology — Eurocrypt 2002. Springer-Verlag, Berlin CrossRef
- Gennaro, R., Rohatgi, P. How to Sign Digital Streams. In: Kaliski, B. eds. (1997) Advances in Cryptology — Crypto’97. Springer-Verlag, Berlin, pp. 180-197 CrossRef
- S. Halevi. An Observation regarding Jutla’s modes of operation. Crytology ePrint archive, Report 2001/015, available at http://www.eprint.iacr.org.
- C. Jutla. Encryption modes with almost free message integrity. Cryptology ePrint archive, Report 2000/039, available at http://www.eprint.iacr.org.
- Jutla, C. Encryption modes with almost free message integrity. In: Ptzmann, B. eds. (2001) Advances in Cryptology — Eurocrypt’01. Springer-Verlag, Berlin
- Katz, J., Yung, M. Unforgeable Encryption and Chosen Ciphertext Secure Modes of Operation. In: Schneier, B. eds. (2000) Fast Software Encryption. Springer-Verlag, Berlin
- L. Knudsen. Block chaining modes of operation. Technical report, Department of Informatics, University of Bergen, 2000.
- P. Rogaway, M. Bellare, J. Black, and T. Krovetz. OCB: A Block-Cipher Mode of Operation for Efficient Authenticated Encryption. In Eighth ACM conference on Computer and Communications Security. ACM Press, 2001.
- T. Ylonen, T. Kivinen, M. Saarinen, T. Rinne, and S. Lehtinen. SSH Transport Layer Protocol, Network Working Group. January 2002. Internet-Draft available at http://www.ietf.org/internet-drafts/draft-ietf-secsh-transport-12.txt.
- Blockwise-Adaptive Attackers Revisiting the (In)Security of Some Provably Secure Encryption Modes: CBC, GEM, IACBC
- Book Title
- Advances in Cryptology — CRYPTO 2002
- Book Subtitle
- 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings
- pp 17-30
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.