[HGI-News-de] HGI Kolloquium: Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation - Pooya Farshim - Donnerstag 12. Januar 2012
Newsletter des Horst Görtz Instituts
hgi-news-deutschland at lists.ruhr-uni-bochum.de
Mo Jan 9 18:03:58 CET 2012
HGI
Sehr geehrte Damen und Herren,
im Rahmen des HGI-Kolloquiums, organisiert vom Lehrstuhl Kryptologie und
IT-Sicherheit (CITS), wird
_Pooya Farshim__
_von der
TechnischeUniversität Darmstadt
am
nächsten _Donnerstag, den 12. Januar 2012 um 11.00 Uhr s.t. in
Raum ID 03/653
_über folgendes Thema referieren:
------------------------------------------------------------------------
*Delegatable Homomorphic Encryption with Applications to
Secure Outsourcing of Computation*
In this talk, we propose a new cryptographic primitive called
Delegatable Homomorphic Encryption (DHE). This allows a
Trusted Authority to control/delegate the evaluation of
circuits over encrypted data to untrusted workers/evaluators by
issuing tokens. This primitive can be both seen as a public-key
counterpart to Verifiable Computation, where input
generation and output verification are performed by
different entities, or as a generalisation of Fully
Homomorphic Encryption enabling control over computations
on encrypted data. Our primitive comes with a series of extra
features: 1) there is a one-time setup procedure for all circuits;
2) senders do not need to be aware of the functions which will be
evaluated on the encrypted data, nor do they need to register
keys; 3) tokens are independent of senders and receiver; and 4)
receivers are able to verify the correctness of computation
given short auxiliary information on the input data and the
function, independently of the complexity of the computed
circuit. We give a modular construction of such a DHE scheme from
three components: Fully Homomorphic Encryption (FHE),
Functional Encryption (FE), and a (customised) MAC. As a
stepping stone, we first define Verifiable Functional
Encryption (VFE), and then show how one can build a secure DHE
scheme from a VFE and an FHE scheme. We also show how to build the
required VFE from a standard FE together with a MAC scheme. All
our results hold in the standard model. Finally, we show how one can
build a verifiable computation (VC) scheme generically from
a DHE. As a corollary, we get the first VC scheme which remains
verifiable even if the attacker can observe verification
results.
------------------------------------------------------------------------
Der Vortrag beginnt am Donnerstag um 11.00 Uhr s.t. im ID 03/563.
Zu diesem und sämtlichen weiteren Vorträgen im Rahmen des
HGI-Kolloquiums sind alle Studierenden und Interessierten herzlich
eingeladen! Eine Voranmeldung ist nicht erforderlich!
Weitere Informationen gibt es auf folgender Webseite:
http://hgi.rub.de/hgi/hgi-seminar/aktuelles/
Beste Grüße,
Saqib A. Kakvi
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-deutschland/attachments/20120109/bb9183be/attachment.html>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname : nicht verfügbar
Dateityp : image/jpeg
Dateigröße : 116679 bytes
Beschreibung: nicht verfügbar
URL : <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-deutschland/attachments/20120109/bb9183be/attachment.jpe>
Mehr Informationen über die Mailingliste Hgi-News-Deutschland