PředmětyPředměty(verze: 945)
Předmět, akademický rok 2023/2024
   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 2020
Semestr: zimní
E-Kredity: 4
Rozsah, examinace: zimní s.:2/1, Z+Zk [HT]
Počet míst: neomezen
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: vyučován
Jazyk výuky: čeština, angličtina
Způsob výuky: prezenční
Způsob výuky: prezenční
Garant: Mgr. Pavel Hubáček, Ph.D.
Třída: M Mgr. MMIB
M Mgr. MMIB > Povinně volitelné
Je neslučitelnost pro: NTIX104
Je záměnnost pro: NTIX104
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ů.

Podmínky zakončení předmětu
Poslední úprava: Mgr. Pavel Hubáček, Ph.D. (13.10.2017)

Zápočet bude udělen za zisk dostatečného počtu bodů udělovaných průběžně za řešení domácích úloh a aktivitu na hodinách. Pro udělení zápočtu je potřeba získat alespoň 65 procent bodů za domácí úkoly.

Zkouška bude ústní. Pro složení zkoušky je nutné prokázat adekvátní znalost látky probrané na přednáškách.

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