-
Humanitaarteaduste ja kunstide valdkondHumanitaarteaduste ja kunstide valdkonna dekanaatJakobi 2, r 116-121 51005 Tartu linn, Tartu linn, Tartumaa EST0Ajaloo ja arheoloogia instituutJakobi 2 51005 Tartu linn, Tartu linn, Tartumaa EST0Eesti ja üldkeeleteaduse instituutJakobi 2, IV korrus 51005 Tartu linn, Tartu linn, Tartumaa ESTFilosoofia ja semiootika instituutJakobi 2, III korrus, ruumid 302-337 51005 Tartu linn, Tartu linn, Tartumaa EST0Kultuuriteaduste instituutÜlikooli 16 51003 Tartu linn, Tartu linn, Tartumaa EST0Maailma keelte ja kultuuride instituutLossi 3 51003 Tartu linn, Tartu linn, Tartumaa EST0UsuteaduskondÜlikooli 18 50090 Tartu linn, Tartu linn, Tartumaa EST0Viljandi kultuuriakadeemiaPosti 1 71004 Viljandi linn, Viljandimaa EST0Humanitaarteaduste ja kunstide valdkonna emeriitprofessorid0Humanitaarteaduste ja kunstide valdkonna emeriitdotsendid0Sotsiaalteaduste valdkondSotsiaalteaduste valdkonna dekanaatLossi 36 51003 Tartu linn, Tartu linn, Tartumaa EST0Haridusteaduste instituutJakobi 5 51005 Tartu linn, Tartu linn, Tartumaa EST0Johan Skytte poliitikauuringute instituutLossi 36, ruum 301 51003 Tartu linn, Tartu linn, Tartumaa EST0MajandusteaduskondNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0Psühholoogia instituutNäituse 2 50409 Tartu linn, Tartu linn, Tartumaa EST0ÕigusteaduskondNäituse 20 - 324 50409 Tartu linn, Tartu linn, Tartumaa EST0Ühiskonnateaduste instituutLossi 36 51003 Tartu linn, Tartu linn, Tartumaa EST0Narva kolledžRaekoja plats 2 20307 Narva linn, Ida-Virumaa EST0Pärnu kolledžRingi 35 80012 Pärnu linn, Pärnu linn, Pärnumaa EST0Sotsiaalteaduste valdkonna emeriitprofessorid0Sotsiaalteaduste valdkonna emeriitdotsendid0Meditsiiniteaduste valdkondMeditsiiniteaduste valdkonna dekanaatRavila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTBio- ja siirdemeditsiini instituutBiomeedikum, Ravila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTFarmaatsia instituutNooruse 1 50411 Tartu linn, Tartu linn, Tartumaa ESTHambaarstiteaduse instituutL. Puusepa 1a 50406 Tartu linn, Tartu linn, Tartumaa ESTKliinilise meditsiini instituutL. Puusepa 8 50406 Tartu linn, Tartu linn, Tartumaa ESTPeremeditsiini ja rahvatervishoiu instituutRavila 19 50411 Tartu linn, Tartu linn, Tartumaa ESTSporditeaduste ja füsioteraapia instituutUjula 4 51008 Tartu linn, Tartu linn, Tartumaa ESTMeditsiiniteaduste valdkonna emeriitprofessorid0Meditsiiniteaduste valdkonna emeriitdotsendid0Loodus- ja täppisteaduste valdkondLoodus- ja täppisteaduste valdkonna dekanaatVanemuise 46 - 208 51003 Tartu linn, Tartu linn, Tartumaa ESTArvutiteaduse instituutNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa ESTGenoomika instituutRiia 23b/2 51010 Tartu linn, Tartu linn, Tartumaa ESTEesti mereinstituutMäealuse 14 12618 Tallinn, Harjumaa EST0Füüsika instituutKeemia instituutRavila 14a 50411 Tartu linn, Tartu linn, Tartumaa ESTMatemaatika ja statistika instituutNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0Molekulaar- ja rakubioloogia instituutRiia 23, 23b - 134 51010 Tartu linn, Tartu linn, Tartumaa ESTTartu observatooriumObservatooriumi 1 61602 Tõravere alevik, Nõo vald, Tartumaa EST0TehnoloogiainstituutNooruse 1 50411 Tartu linn, Tartu linn, Tartumaa ESTÖkoloogia ja maateaduste instituutJ. Liivi tn 2 50409 Tartu linn, Tartu linn, Tartumaa ESTLoodus- ja täppisteaduste valdkonna emeriitprofessorid0Loodus- ja täppisteaduste valdkonna emeriitdotsendid0Akadeemilise sekretäri tegevusvaldkondPersonaliosakondÜlikooli 18, ruumid 302 ja 304 50090 Tartu linn, Tartu linn, Tartumaa EST0Finantsjuhi tegevusvaldkondRahandusosakondJakobi 4 51005 Tartu linn, Tartu linn, Tartumaa EST0Kantsleri tegevusvaldkondInfotehnoloogia osakondUppsala 10 51003 Tartu linn, Tartu linn, Tartumaa EST0KantseleiÜlikooli 17 (III korrus) 51005 Tartu linn, Tartu linn, Tartumaa EST0Kinnisvaraosakond0Turundus- ja kommunikatsiooniosakondÜlikooli 18, ruumid 102, 104, 209, 210 50090 Tartu linn, Tartu linn, Tartumaa EST0Teadusprorektori tegevusvaldkondRaamatukoguW. Struve 1 50091 Tartu linn, Tartu linn, Tartumaa ESTGrandikeskusRaekoja plats 9, III korrus 51004 Tartu linn, Tartu linn, Tartumaa ESTArendusprorektori tegevusvaldkondEttevõtlus- ja innovatsioonikeskusNarva mnt 18 51009 Tartu linn, Tartu linn, Tartumaa EST0Loodusmuuseum ja botaanikaaedVanemuise 46 51003 Tartu linn, Tartu linn, Tartumaa EST0Rahvusvahelise koostöö ja protokolli osakond0MuuseumLossi 25 51003 Tartu linn, Tartu linn, Tartumaa EST0Rektori tegevusvaldkondRektoraadi bürooÜlikooli 18 50090 Tartu linn, Tartu linn, Tartumaa ESTSiseauditi bürooÕppeprorektori tegevusvaldkondÕppeosakondTeaduskoolUppsala 10 51003 Tartu linn, Tartu linn, Tartumaa ESTÜliõpilaskonna bürooÜlikooli 18b 51005 Tartu linn, Tartu linn, Tartumaa EST0Õppimis- ja õpetamiskeskusLossi 36-401 51003 Tartu linn, Tartu linn, Tartumaa EST
Kaitsmisele tuleb Karim Baghery doktoritöö
13. augustil kell 14.15 Zoomi ruumis kaitseb Karim Baghery oma dissertatsiooni „Reducing Trust and Improving Security in zk-SNARKs and Commitments“ („Usalduse vähendamine ja turvalisuse parandamine zk-SNARKides ja kinnitusskeemides“) filosoofiadoktori (informaatika) kraadi saamiseks.
Juhendaja:
prof Helger Lipmaa (TÜ arvutiteaduse instituut ja Simula UiB (Norra));
Oponendid:
prof Markulf Kohlweiss (Edinburgh’i Ülikool, Ühendkuningriik);
prof Georg Fuchsbauer (Technische Universität Wien, Austria).
Kokkuvõte
zk-SNARK-id on tõhusad ja praktilised mitteinteraktiivsed tõestussüsteemid, mis on konstrueeritud viitestringi mudelis ning tänu kompaktsetele tõestustele ja väga tõhusale verifitseeritavusele on need laialdaselt kasutusele võetud suuremahulistes praktilistes rakendustes. Selles töös uurime zk-SNARK-e kahest vaatenurgast: nende usalduse vähendamine ja turvalisuse tugevdamine. Esimeses suunas uurime kui palju saab vähendada usaldust paaristuspõhiste zk- SNARK-ide puhul ilma nende tõhusust ohverdamata niiviisi, et kasutajad saavad teatud turvataseme ka siis kui seadistusfaas tehti pahatahtlikult või kui avalikustati seadistusfaasi salajane teave. Me pakume välja mõned tõhusad konstruktsioonid, mis suudavad takistada zk-SNARK-i seadistusfaasi ründeid ja mis saavutavad senisest tugevama turvataseme. Näitame ka seda, et sarnased tehnikad võimaldavad leevendada usaldust tagauksega kinnitusskeemides, mis on krüptograafiliste primitiivide veel üks silmapaistev perekond ja mis samuti nõub usaldatud seadistusfaasi. Teises suunas esitame mõned tõhusad konstruktsioonid, mis tagavad parema turvalisuse minimaalsete lisakuludega. Mõned esitatud konstruktsioonidest võimaldavad lihtsustada praegusi TK-turvalisi protokolle, nimelt privaatsust säilitavate nutilepingusüsteemide Hawk ja Gyges konstruktsiooni, ja parandada nende tõhusust. Uusi konstruktsioone saab aga otse kasutada uutes protokollides, mis soovivad kasutada zk-SNARK-e. Osa väljapakutud zk-SNARK-e on implementeeritud teegis Libsnark ja empiirilised tulemused kinnitavad, et usalduse vähendamiseks või suurema turvalisuse saavutamiseks on arvutuslikud lisakulud väikesed.