3532 articles – 5253 Notices  [english version]

inria-00426798, version 1

Unification Modulo Homomorphic Encryption

Siva Anantharaman 1, Hai Lin a, Christopher Lynch b, Paliath Narendran () 2, Michael Rusinowitch () 3

7th International Symposium on Frontiers of Combining Systems - FroCoS 2009 5749 (2009) 100-116

  • a –  University of Clarckson
  • b –  Clarckson University
  • 1 :  Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
  • http://www.univ-orleans.fr/lifo/
    Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2 France
  • 2 :  University at Albany
  • http://www.cs.albany.edu
    State university of New York 1400 Washington Avenue - Albany, NY 12222 États-Unis
  • 3 :  CASSIS (INRIA Lorraine - LORIA / LIFC)

  • INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France

Références bibliographiques

  • Type de publication : Communications avec actes
  • Domaine : Informatique/Logique en informatique
  • Titre : Unification Modulo Homomorphic Encryption
  • Résumé : Encryption ‘distributing over pairs' is a technique employed in several cryptographic protocols. We show that unification is decidable for an equational theory HE specifying such an encryption. The method consists in transforming any given problem in such a way, that the resulting problem can be solved by combining a graph-based reasoning on its equations involving the homomorphisms, with a syntactic reasoning on its pairings. We show HE-unification to be NP-hard and in NEXPTIME.
  • Langue du document : Anglais
  • Date de publication : 2009
  • Audience : internationale
  • Titre conférence : 7th International Symposium on Frontiers of Combining Systems - FroCoS 2009
  • Ville : Trento
  • Pays : Italie
  • Date conférence : 16/09/2009
  • Date conférence (fin) : 18/10/2009
  • Editeur(s) scientifique(s) : Silvio Ghilardi and Roberto Sebastiani
  • Editeur commercial : Springer
  • Titre volume : Frontiers of Combining Systems
  • Volume : 5749
  • Collection : Lecture Notes in Computer Science
  • Pagination : 100-116
  • DOI : 10.1007/978-3-642-04222-5_6
  • Commentaire : The original publication is available at www.springerlink.com
 
  • inria-00426798, version 1
  • http://hal.inria.fr/inria-00426798
  • oai:hal.inria.fr:inria-00426798
  • Contributeur : Michael Rusinowitch <>
  • Soumis le : Mercredi 28 Octobre 2009, 08:43:42
  • Dernière modification le : Lundi 9 Novembre 2009, 16:15:27