3 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
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…