PředmětyPředměty(verze: 806)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Foundations of theoretical cryptography - NTIN104
Anglický název: Foundations of theoretical cryptography
Zajišťuje: Informatický ústav Univerzity Karlovy (32-IUUK)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2017
Semestr: zimní
E-Kredity: 5
Rozsah, examinace: zimní s.:2/1 Z+Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: angličtina, čeština
Způsob výuky: prezenční
Garant: Mgr. Pavel Hubáček, Ph.D.
Anotace -
Poslední úprava: RNDr. Ondřej Pangrác, Ph.D. (24.04.2017)

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.
Cíl předmětu -
Poslední úprava: RNDr. Ondřej Pangrác, Ph.D. (24.04.2017)

Naučit základům metod dokazatelné bezpečnosti se zaměřením na obecné kryptografické předpoklady a jejich aplikace v konstrukcích kryptografických primitiv a protokolů.

Literatura -
Poslední úprava: RNDr. Ondřej Pangrác, Ph.D. (24.04.2017)

J. Katz, Y. Lindell: Introduction to Modern Cryptography, Second Edition. CRC Press 2014

O. Goldreich: The Foundations of Cryptography - Volume 1, Basic Techniques. Cambridge University Press 2001

O. Goldreich: The Foundations of Cryptography - Volume 2, Basic Applications. Cambridge University Press 2004

Sylabus -
Poslední úprava: RNDr. Ondřej Pangrác, Ph.D. (24.04.2017)

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

 
Univerzita Karlova | Informační systém UK