Unification modulo homomorphic encryption
From MaRDI portal
Publication:437037
DOI10.1007/s10817-010-9205-yzbMath1242.68096WikidataQ118190402 ScholiaQ118190402MaRDI QIDQ437037
Paliath Narendran, Michaël Rusinowitch, Siva Anantharaman, Hai Lin, Christopher Lynch
Publication date: 17 July 2012
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-010-9205-y
94A60: Cryptography
68P25: Data encryption (aspects in computer science)
68Q42: Grammars and rewriting systems
68M12: Network protocols