Unification Modulo Chaining

DOI10.1007/978-3-642-28332-1_7MaRDI QIDQ2890181zbMATH OpenOpenAlexFDO

Authors Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch

Publication date 8 June 2012

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28332-1_7

zbMATH Keywords

protocolequational unificationblock chaining

Mathematics Subject Classification ID

Cryptography (94A60) Grammars and rewriting systems (68Q42)

Recommendations

• Unification and matching modulo nilpotence
• Unification Modulo Builtins
• Computations modulo regular chains
• Unification modulo synchronous distributivity
• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption
• Unimodularity unified
• Unification modulo a 2-sorted equational theory for cipher-decipher block chaining
• New algorithms for unification modulo one-sided distributivity and its variants
• scientific article; zbMATH DE number 845925

Cited in

(7)

• Unification modulo homomorphic encryption
• scientific article; zbMATH DE number 845925 (Why is no real title available?)
• Extensions of unification modulo ACUI
• Unification modulo a 2-sorted equational theory for cipher-decipher block chaining
• scientific article; zbMATH DE number 1929957 (Why is no real title available?)
• Unification modulo lists with reverse relation with certain word equations
• Bounded ACh unification

This page was built for publication: Unification Modulo Chaining

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890181)