The following publications are possibly variants of this publication:
- Unification Modulo Homomorphic EncryptionSiva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. frocos 2009: 100-116 [doi]
- Unification modulo Homomorphic Encryption is DecidableSiva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. UNIF 2008: 1-15 [doi]
- Protocol analysis in Maude-NPA using unification modulo homomorphic encryptionSantiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse. ppdp 2011: 65-76 [doi]
- Cap unification: application to protocol security modulo homomorphic encryptionSiva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. ccs 2010: 192-203 [doi]
- Theories of Homomorphic Encryption, Unification, and the Finite Variant PropertyFan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran. ppdp 2014: 123-133 [doi]
- Unification Modulo Synchronous DistributivitySiva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. cade 2012: 14-29 [doi]
- Unification Modulo ChainingSiva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch. LATA 2012: 70-82 [doi]
- Unification and Matching Modulo NilpotenceQing Guo, Paliath Narendran, David A. Wolfram. cade 1996: 261-274