An E-unification algorithm for analyzing protocols that use modular exponentiation (2003)

Cached

Download Links

by Deepak Kapur , Paliath Narendran , Lida Wang
Citations:20 - 0 self

Active Bibliography

10 Solving Linear Equations Over Polynomial Semirings – Paliath Narendran
21 Computing Gröbner bases in monoid and group rings – Klaus Madlener, Birgit Reinert - 1995
14 Symbolic protocol analysis with an abelian group operator or DiffieHellman exponentiation – Jonathan Millen, Vitaly Shmatikov - 2005
36 Symbolic protocol analysis with products and Diffie-Hellman exponentiation – Jonathan Millen, Vitaly Shmatikov - 2003
2 An undecidability result for AGh – Stéphanie Delaune, France Télécom - 2006
4 Unification in Monoidal Theories is Solving Linear Equations over Semirings – Werner Nutt - 1992
7 Combination Problems for Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification – Franz Baader, Werner Nutt - 1996
Compiling and securing cryptographic protocols – Yannick Chevalier, Michaël Rusinowitch, Inria Nancy Gr - 2009
8 Deciding knowledge in security protocols for monoidal equational theories – Véronique Cortier, Stéphanie Delaune - 2007
3 Decidability and combination results for two notions of knowledge in security protocols ∗ – Véronique Cortier, Stéphanie Delaune
8 Unification and Matching modulo Nilpotence – Qing Guo, Paliath Narendran - 1996
47 Unification of Concept Terms in Description Logics – Franz Baader, Paliath Narendran - 1998
216 Unification Theory – Franz Baader, Wayne Snyder - 2001
Matching in Flat Theories – Temur Kutsia
Unification Modulo Presburger Arithmetic and Other Decidable Theories – Mauricio Ayala-Rincón, Ivan E. Tavares Araújo
Deciding Propositional Combinations of Equalities and Inequalities – Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, N. Shankar
Complexity and Expressive Power of Logic – Programming Evgeny Dantsin
5 Combining Constraint Solving – Franz Baader, Klaus U. Schulz - 2001
2 On Unification for Bounded Distributive Lattices – Viorica Sofronie-stokkermans - 2000