Navigácia

Aktuálny semester

Zásobník tém

Kontakt

Archív

ZS 2008/09

LS 2008/09

ZS 2010/11

LS 2010/11

Letný semester 2010/11

1. (23.2.2011) Michal Rjaško: Functional Encryption

Funkcionálne šifrovanie pre funkcionalitu $F$ umožňuje vlastníkovi špeciálneho súkromného kľúča $sk_k$ vypočítať zo šifrového textu $c$ hodnotu funkcie $F(k,m)$, kde $m$ je korešpondujúci otvorený text. Bezpečná schéme pre funkcionálne šifrovanie zároveň nedovolí dozvedieť sa nič viac. V prednáške ukážeme dve možné definície bezpečnosti funkcionálneho šifrovania - “game-based“ a „simulation-based“ definície. Ukážeme, že „game-based“ definícia môže byť v niektorých prípadoch nepostačujúca. Taktiež ukážeme, že v modely s náhodným orákulom je „simulation-based“ definícia dosiahnuteľná. Nakoniec popíšeme niektoré otvorené problémy v novej oblasti funkcionálneho šifrovania.

2. (2.3.2011) Daniel Olejár: Generujúce funkcie

3. (16.3.2011) Daniel Olejár: Generujúce funkcie II.

4. (13.4.2011) Daniel Olejár: Generujúce funkcie III.

5. (4.5.2011) Daniel Olejár: Generujúce funkcie IV.

6. (7.7.2011) Michal Rjaško: Obfuscators

7. (3.8.2011) Peter Gaži: Obmedzenia indifferentiability frameworku

8. (17.8.2011) Martin Stanek: Volebné protokoly s overovacími kódmi

9. (25.8.2011 13:00) Michal Rjaško: Non-malleability hašovacích funkcií