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

by D Kapur, P Narendran, L Wang
Venue:In Proc. 14th International Conference on Rewriting Techniques and Applications (RTA’2003