Browsing by Advisor "Hubáček, Pavel"
Now showing items 1-4 of 4
-
Limitations of Incompressible Encodings
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 8. 7. 2021Tato práce se zabývá limitacemi nekomprimovatelných kódování s nepodmíněnou bezpečností. Představujeme trhliny v existujícím důkazu nemožnosti konstrukce nekomprimovatelných kódování bez výpočetních omezení na útočníka. ... -
Moderní aplikace zero-knowledge protokolů
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 19. 6. 2019zk-SNARK je kryptografický protokol, který umožňuje libovolný výpočet přeměnit na krátký efektivně ověřitelný argument jeho správnosti. Navíc tento protokol umožnuje dokazovateli přesně rozhodnout, která část vstupů výpočtu ... -
On search complexity of discrete logarithm
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 23. 6. 2021Tato práce studuje problém diskrétního logaritmu v kontextu TFNP- složitostní třídy vyhledávacích problémů se syntakticky zaručenou existencí řešení pro všechny instance. Hlavním výsledkem práce je důkaz PPP-, resp. ... -
Security of cryptographic schemes for contact tracing
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 28. 6. 2021Kvůli pandemii nemoci Covid-19 v roce 2020 došlo k velkému rozvoji trasovacích schémat a aplikací. V této práci nejprve popisujeme schéma DP3T a některé útoky na toto schéma, zejména replay a relay útoky. Ve snaze zabránit ...