[HGI-News-de] Kolloquium: "Playing Games in UC" - Sebastian Gajek - Freitag, 01. April 2011

[Newsletter des Horst Görtz Instituts]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Sehr geehrte Damen und Herren,

im Rahmen des HGI-Kolloquiums organisiert
vom Lehrstuhl für Netz- und Datensicherheit (NDS), wird Sebastian Gajek
von der Tel-Aviv Uni­ver­si­ty, Is­ra­el am nächsten Freitag, den 01.
April 2011 über "Playing Games in UC" referieren.

Der Vortrag beginnt um 11.00 Uhr s.t. im ID 03/411. 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/

Abstract:
Uni­ver­sal­ly Com­po­sa­ble (UC) se­cu­ri­ty pro­vi­des a very strong
gua­ran­tee: A UC-se­cu­re pro­to­col main­tains its se­cu­ri­ty
pro­per­ties when used in any exe­cu­ti­on en­vi­ron­ment. In many
cases, howe­ver, full uni­ver­sal com­po­sa­bi­li­ty is not re­qui­red;
mil­der and more spe­ci­fic com­po­sa­bi­li­ty gua­ran­tees suf­fice.

We for­mu­la­te a re­fi­ne­ment of UC se­cu­ri­ty, cal­led UC with
Spe­cia­li­zed En­vi­ron­ments (SPUC), that al­lows as­ser­ting and
pro­ving se­cu­ri­ty pro­per­ties that wi­th­stand only par­ti­al and
re­stric­ted com­po­si­ti­on ope­ra­ti­ons. The re­fined ope­ra­ti­on
pro­vi­des a ver­sa­ti­le and power­ful tool for as­ser­ting se­cu­ri­ty
pro­per­ties for rea­lis­tic pro­to­cols. For in­stan­ce, it can be used
to cap­tu­re se­ver­al (glo­bal) trusted set-up as­sump­ti­ons, net­work
and input re­stric­tions, and ga­me-ba­sed no­ti­ons of se­cu­ri­ty. In
fact, we show that ga­me-ba­sed de­fi­ni­ti­ons can be cas­ted as a
spe­cial case of our frame­work.

We then de­mons­tra­te the power of SPUC se­cu­ri­ty by using it to
cap­tu­re for the first time the se­cu­ri­ty pro­per­ties of
CPA-se­cu­re sym­me­tric en­cryp­ti­on and mes­sa­ge au­then­ti­ca­ti­on
codes, as sin­gle in­stan­ce pro­to­cols in a com­po­sa­ble se­cu­ri­ty
frame­work. This al­lows us to ana­ly­ze the se­cu­ri­ty of hy­brid
en­cryp­ti­on, and se­ver­al com­mon se­cu­re com­mu­ni­ca­ti­on
ses­si­on pro­to­cols in a way that is mo­du­lar, ab­stract, and
amenable to ef­fi­ci­ent au­to­ma­ti­on.

Joint work with Ran Ca­net­ti.


Beste Grüße

Florian Kohlar

- -- 
Dipl.-Ing. Florian Kohlar

Lehrstuhl für Netz- und Datensicherheit
Ruhr Universität Bochum
- -----------------------------------
Universitätsstr. 150, Geb. ID 2/457
D-44780 Bochum

Telefon: +49 (0) 234 / 32-26798
Fax: +49 (0) 234 / 32-14347
http://www.nds.rub.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.14 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQIcBAEBAgAGBQJNi2WBAAoJENH3O2sq3f9oV1UP/3ghUQbYhsO15MCSKTvME0AV
JxMKg3V/BzqMOmmw9yYt23Ow2f4pwbBIyDoKSRHNu8tYtxva/i+pYGWjUcNIKctu
mnaxzAbYg7314wEpQLSRXlyC7rFf7NH9ho5LhZA17ubDiAX95ymC++CxQGHCL0XT
HJebEGGiAe3yIXpQSu9Y+1QYn2wPBzNkrVmBizBs8GL61r88HrxNdgwF4orqHBVK
yz1sqrnQJms0JHusK6sV5E7uHYzOCQe6CaRdcqwQgU8Rb6CpaIanyehfaqCjiHOk
H7CANnsQPz4qiP237q0UVryVvFEpE7Sue0zGzQltjcr+vAzn7yqTQ7Eyb4RefkVl
ZqkmSND77evYOeTnjo1naWi8uoPuWhaiHuqk6pLbb1DAhjtkNnibQ1uc/x7nc8e2
gBgdeNCdfPo3nVL3f3FIMqcy019PXo/V0eIcJX/R2A7Uz0bYpd84J6WvdjuGt59c
ZgrMPcxq67pKBMsZJMeTl7uvSieeeL23tI0knW1gHySrSeAXhPs7zarj4k+iduIi
mXgdoSDXllndDz8oAwnuDEXEbk7KV6XxLxig6f9qWzqeXf+qX/FmM+5XfA035f+i
HEka1OgzxffB8AN8AHh1def/3DFW+WOKKodPg3DpnjCdNW9XYeDOpYtPIFBThuQY
NqvAdz1Bi9ayk26of6mK
=FdQU
-----END PGP SIGNATURE-----