hidden - assigned and confirmed by the Study Dept.
Date of registration:
27.09.2018
Date of assignment:
27.09.2018
Confirmed by Study dept. on:
29.10.2018
Guidelines
The goal of the thesis is to study applications and limits of interactive proof systems in the context of verifiable outsourcing of computation and/or secure proofs of data possession. The methods might include designing new doubly-efficient interactive proof systems and/or proving new impossibility results in the context of efficient interactive argument systems.
Cílem práce je studium aplikací a limitů interaktivních důkazových systémů v kontextu ověřitelného delegování výpočtů a/nebo bezpečných důkazů o držení dat. Metody mohou zahrnovat nové návrhy plně efektivních iteraktivních důkazových systémů a/nebo nové důkazy nemožnosti konstrukcí v kontextu interaktivních důkazových systémů.