Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

Siva Anantharaman, Christopher Bouchard, Paliath Narendran +1

We investigate unification problems related to the Cipher Block Chaining (CBC) mode of encryption. We first model chaining in terms of a simple, convergent, rewrite system over a s…