39 citations · 56 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
Compiling and securing cryptographic protocols
Yannick Chevalier, Michael Rusinowitch
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences…
Rewrite based Verification of XML Updates
Florent Jacquemard, Michael Rusinowitch
We consider problems of access control for update of XML documents. In the context of XML programming, types can be viewed as hedge automata, and static type checking amounts to ve…