Browsing by Author "Lass, Mattias"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item Post-Quantum Security Definitions for Relativistic Commitment Protocols(Tartu Ülikool, 2021) Lass, Mattias; Unruh, Dominique, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituutRelativistic 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).Item Tehisintellekti loomine käigupõhisele strateegiamängule L-put(2017) Lass, Mattias; Jaanus JaggoKäigupõhised strateegiamängud on sellised strateegiamängud, milles mängijad langetavad otsuseid käikude kaupa. Need mängud pakuvad suurepärast võimalust rakendada erinevaid tehisintellektide jaoks mõeldud algoritme. Käesoleva töö eesmärk on realiseerida sellist tüüpi mängule tehisintellekt, kasutades minimax ja Monte Carlo algoritme. Töös antakse hinnang nende algoritmide efektiivsusele ning katsetatakse nende võimekust töö raames loodud käigupõhisel strateegiamängul L-put. Samuti annab töö ülevaate kuusnurksete väljadega mänguväljade võimalikest koordinaatsüsteemidest ja algoritmidest, mida nendel mänguväljadel kasutada saab.