Proving chaotic behaviour of CBC mode of operation
Abdessalem Abidi, Qianxue Wang, Belgacem Bouallegue, Mohsen, Machhout, Christophe Guyeux

TL;DR
This paper mathematically demonstrates that under certain conditions, the CBC mode of operation can exhibit chaotic behavior according to Devaney's definition, highlighting complex dynamics in a widely used encryption mode.
Contribution
It provides the first formal proof that CBC mode can display chaotic dynamics, expanding understanding of its mathematical properties.
Findings
CBC mode can exhibit chaotic behavior under certain conditions
Chaotic dynamics are formally proven using Devaney's criteria
Implications for security analysis of CBC mode
Abstract
The cipher block chaining (CBC) block cipher mode of operation was invented by IBM (International Business Machine) in 1976. It presents a very popular way of encrypting which is used in various applications. In this paper, we have mathematically proven that, under some conditions, the CBC mode of operation can admit a chaotic behaviour according to Devaney. Some cases will be properly studied in order to put in evidence this idea.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsChaos-based Image/Signal Encryption · Chaos control and synchronization · Cryptographic Implementations and Security
