The following publications are possibly variants of this publication:
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol AnalysisSerdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse. UNIF 2011: 59-64 [doi]
- A Unification Algorithm for Analysis of Protocols with Blinded SignaturesDeepak Kapur, Paliath Narendran, Lida Wang. BIRTHDAY 2005: 433-451 [doi]
- Invited talk: Unification in Cryptographic Protocol AnalysisChristopher Lynch. UNIF 2011: 1 [doi]
- Asymmetric Unification and DisunificationVeena Ravishankar, Kimberly A. Cornell, Paliath Narendran. BIRTHDAY 2019: 497-522 [doi]
- On Asymmetric Unification for the Theory of XOR with a HomomorphismChristopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar. frocos 2019: 297-312 [doi]
- Three System for Cryptographic Protocol AnalysisRichard A. Kemmerer, Catherine Meadows, Jonathan K. Millen. joc, 7(2):79-130, 1994.
- The Design and Analysis of Cryptographic ProtocolsRichard A. DeMillo, Nancy A. Lynch, Michael Merritt. crypto 1981: 71-72