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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 2 cited

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…