Unification modulo homomorphic encryption

DOI10.1007/S10817-010-9205-YMaRDI QIDQ437037zbMATH OpenOpenAlexWikidataFDO

Authors Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch

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

zbMATH Keywords

rewritingunificationprotocol analysis

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Grammars and rewriting systems (68Q42) Network protocols (68M12)

Recommendations

• Unification modulo homomorphic encryption
• Homomorphic encryption
• Unification modulo a 2-sorted equational theory for cipher-decipher block chaining
• Unification Modulo Chaining
• Combiners for functional encryption, unconditionally
• Homomorphic encryption for multiplications and pairing evaluation
• Reconciling non-malleability with homomorphic encryption
• Homomorphic Encryption Standard
• Verifiable Decryption for Fully Homomorphic Encryption
• Fully homomorphic encryption over the integers

Cites work

• Easy intruder deductions
• Intruder deduction for the equational theory of abelian groups with distributive encryption
• Intruders with Caps
• On the unification problem for Cartesian closed categories
• Term Rewriting and All That
• The complexity of satisfiability problems
• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption
• Unification problems with one-sided distributivity

Cited in

(9)

• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption
• scientific article; zbMATH DE number 845925 (Why is no real title available?)
• Unification modulo a 2-sorted equational theory for cipher-decipher block chaining
• Efficient general unification for XOR with homomorphism
• From golden to unimodular cryptography
• Local XOR unification: definitions, algorithms and application to cryptography
• Unification Modulo Chaining
• Bounded ACh unification

This page was built for publication: Unification modulo homomorphic encryption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q437037)