Unification Modulo Homomorphic Encryption
Identifieur interne : 000961 ( Istex/Curation ); précédent : 000960; suivant : 000962Unification Modulo Homomorphic Encryption
Auteurs : Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: 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.
Url:
DOI: 10.1007/978-3-642-04222-5_6
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000967
Links to Exploration step
ISTEX:29A41362081F471FC3397C57722B6C7BB8D0B89CLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Unification Modulo Homomorphic Encryption</title><author><name sortKey="Anantharaman, Siva" sort="Anantharaman, Siva" uniqKey="Anantharaman S" first="Siva" last="Anantharaman">Siva Anantharaman</name><affiliation><mods:affiliation>Université d’Orléans (Fr.), </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: siva@univ-orleans.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Lin, Hai" sort="Lin, Hai" uniqKey="Lin H" first="Hai" last="Lin">Hai Lin</name><affiliation wicri:level="1"><mods:affiliation>Clarkson University, Potsdam, NY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>Clarkson University, Potsdam, NY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: linh@clarkson.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Lynch, Christopher" sort="Lynch, Christopher" uniqKey="Lynch C" first="Christopher" last="Lynch">Christopher Lynch</name><affiliation wicri:level="1"><mods:affiliation>Clarkson University, Potsdam, NY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>Clarkson University, Potsdam, NY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: clynch@clarkson.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Narendran, Paliath" sort="Narendran, Paliath" uniqKey="Narendran P" first="Paliath" last="Narendran">Paliath Narendran</name><affiliation wicri:level="1"><mods:affiliation>University at Albany-SUNY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>University at Albany-SUNY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: dran@cs.albany.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Rusinowitch, Michael" sort="Rusinowitch, Michael" uniqKey="Rusinowitch M" first="Michaël" last="Rusinowitch">Michaël Rusinowitch</name><affiliation><mods:affiliation>Loria-INRIA Lorraine, Nancy (Fr.), </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: rusi@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:29A41362081F471FC3397C57722B6C7BB8D0B89C</idno><date when="2009" year="2009">2009</date><idno type="doi">10.1007/978-3-642-04222-5_6</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-FBJR6F2C-S/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000967</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000967</idno><idno type="wicri:Area/Istex/Curation">000961</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Unification Modulo Homomorphic Encryption</title><author><name sortKey="Anantharaman, Siva" sort="Anantharaman, Siva" uniqKey="Anantharaman S" first="Siva" last="Anantharaman">Siva Anantharaman</name><affiliation><mods:affiliation>Université d’Orléans (Fr.), </mods:affiliation></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: siva@univ-orleans.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Lin, Hai" sort="Lin, Hai" uniqKey="Lin H" first="Hai" last="Lin">Hai Lin</name><affiliation wicri:level="1"><mods:affiliation>Clarkson University, Potsdam, NY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>Clarkson University, Potsdam, NY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: linh@clarkson.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Lynch, Christopher" sort="Lynch, Christopher" uniqKey="Lynch C" first="Christopher" last="Lynch">Christopher Lynch</name><affiliation wicri:level="1"><mods:affiliation>Clarkson University, Potsdam, NY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>Clarkson University, Potsdam, NY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: clynch@clarkson.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Narendran, Paliath" sort="Narendran, Paliath" uniqKey="Narendran P" first="Paliath" last="Narendran">Paliath Narendran</name><affiliation wicri:level="1"><mods:affiliation>University at Albany-SUNY, USA</mods:affiliation><country xml:lang="fr">États-Unis</country><wicri:regionArea>University at Albany-SUNY</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: dran@cs.albany.edu</mods:affiliation><country wicri:rule="url">États-Unis</country></affiliation></author><author><name sortKey="Rusinowitch, Michael" sort="Rusinowitch, Michael" uniqKey="Rusinowitch M" first="Michaël" last="Rusinowitch">Michaël Rusinowitch</name><affiliation><mods:affiliation>Loria-INRIA Lorraine, Nancy (Fr.), </mods:affiliation></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: rusi@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: 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.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000961 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 000961 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:29A41362081F471FC3397C57722B6C7BB8D0B89C
|texte= Unification Modulo Homomorphic Encryption
}}
| This area was generated with Dilib version V0.6.33. |  |