Unruh, Dominique, juhendajaLass, MattiasTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2023-09-282023-09-282021https://hdl.handle.net/10062/93219Relativistic commitment protocols are a promising candidate for post-quantum information theoretically secure commitments. Unfortunately, the security analysis of these protocols has often been informal. We propose a novel formal framework for proving the security of relativistic bit commitment protocols and use it to prove security for a well established protocol. In addition, we also study an alternative definition of binding for relativistic commitment protocols based on the collapse-binding definition introduced in (Unruh, Eurocrypt 2016).engopenAccessAttribution-NonCommercial-NoDerivatives 4.0 InternationalCommitmentsrelativistic protocolscollapse-bindingpost-quantum cryptographyinformation theoretical securitymagistritöödinformaatikainfotehnoloogiainformaticsinfotechnologyThesis