Unification modulo homomorphic encryption
type: Item
instance of: scholarly article
title: Unification modulo homomorphic encryption
zbMATH Open document ID: 1242.68096
author: Siva Anantharaman
author: Hai Lin
author: Christopher Lynch
author: Paliath Narendran
author: Michaël Rusinowitch
published in: Journal of Automated Reasoning
publication date: 2012-07-17T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6057741
zbMATH Keywords: rewriting
zbMATH Keywords: unification
zbMATH Keywords: protocol analysis
Wikidata QID: Q118190402
MaRDI profile type: Publication
full work available at URL: s10817-010-9205-y
OpenAlex ID: W2622023179
cites work: Intruders with Caps
cites work: Unification Modulo Homomorphic Encryption
cites work: Term Rewriting and All That
cites work: Verification: Theory and Practice
cites work: Intruder deduction for the equational theory of abelian groups with distributive encryption
cites work: On the unification problem for Cartesian closed categories
cites work: The complexity of satisfiability problems
cites work: Unification problems with one-sided distributivity
DOI: 10.1007/S10817-010-9205-Y
Recommended article: Unification Modulo Homomorphic Encryption
Recommended article: Homomorphic Encryption
Recommended article: Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Recommended article: Unification Modulo Chaining
Recommended article: Combiners for functional encryption, unconditionally
Recommended article: Homomorphic Encryption for Multiplications and Pairing Evaluation
Recommended article: Reconciling non-malleability with homomorphic encryption
Recommended article: Homomorphic Encryption Standard
Recommended article: Verifiable Decryption for Fully Homomorphic Encryption
Recommended article: Fully Homomorphic Encryption over the Integers
description: scientific article; zbMATH DE number 6057741