Sylabus
Základy:
- Vernamova šifra, perfektní bezpečnost, výpočetní bezpečnost, nerozlišitelnost
- pseudonáhodné generátory a efektivní Vernamova šifra
- pseudonáhodné funkce a permutace
Integrita dat:
- Message Authentication Code a cryptografické hašovací funkce
- digitální podpis
- aplikace v kryptografických měnách: Bitcoin
Zero-knowledge:
- definice a základní protokoly
- commitment schemes
- aplikace v kryptografických měnách: Zerocash
Secure computation:
- paradigma simulace
- oblivious transfer
- sdílení tajemství
- garbled circuits
Anotace
Významným cílem moderní kryptografie je charakterizace minimálních nutných předpokladů pro řešení daného kryptografického problému. Tato přednáška představí obecné kryptografické předpoklady a jejich aplikace v konstrukcích kryptografických primitiv a dokazatelně bezpečných protokolů.
Ukážeme také několik pokročilejších aplikací v kryptografických měnách a secure computation.