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í