Zimný semester 2010/11
1. (22.9.2010) Michal Rjaško: Cryptographic hash functions and a new black-box property
We introduce a new property for cryptographic hash function families called
black-box. A hash function family H(.,.) has the black-box property if,
simply speaking, it doesn't matter whether an adversary has access to a
randomly chosen key K or it has oracle access to the hash function H(K,.).
That is, for all adversaries which know the key, there exists an algorightm
which computes the same but without access to the key, only to H(K,.). We
show how this property relates to other properties of hash function families
like pseudo-randomness, collision resistance, preimage resistance and
2nd-preimage resistance. We also prove that the Merkle-Damgard iterated
construction does not preserve this property. Finally we show that the HMAC
construction preserves the black-box property.
2. (6.10.2010) Martin Stanek: O šifrovaní do viacerých šifrových textov
Predstavíme schému, v ktorej k otvorenému textu vytvárame
dva šifrové texty, pričom každý sa dá so znalosťou kľúča
dešifrovať samostatne. Navyše, otvorený text možno získať
aj bez kľúča, pokiaľ máme k dispozícii oba šifrové texty.
Schéma bola navrhnutá v ePrint Report 2010/369. Zároveň
navrhneme možné riešenie otvoreného problému pre viac ako
dva šifrové texty.
3. (3.11.2010) Peter Gaži: Konštrukcia ideálnej hashovacej funkcie zo slabých kompresných funkcií
V prednáške predstavíme výsledky z článku M. Liskov:
Constructing an ideal hash function from weak ideal compression
functions (SAC 2007). Táto práca prvý krát zavádza model
slabého náhodného orákula, pre ktoré dokáže útočník získavať
kolízie a inverzie v jednotkovom čase. Popíšeme konštrukciu
"zipper hash",
pomocou ktorej možno z takto modelovanej slabej kompresnej funkcie
zostrojiť hashovaciu funkciu neodlíšiteľnú od ideálneho
náhodného orákula.