Õppija omandab ülevaate tähtsamatest krüptograafilistest primitiividest ja nende peamistest turvaomadustest, erinevate omaduste omavahelistest seostest ning praktikas kasutatavatest konstruktsioonidest. Õppija omandab peamised krüptograafiliste protokollide ja primitiivide disainimise võtted ning vastava interaktiivsetel mängudel põhineva tõestusmetoodika.

Students obtain an overview of the most important cryptographic primitives and their security properties. They get to know what are the relations between various security properties. They also get an overview of the most common instantiations of various constructions. Students learn the basic principles of cryptographic
protocol and primitive design, and the corresponding game-based proof methodology.

Kursusel osalenud üliõpilased oskavad kriitiliselt lugeda erinevaid turvatõestusi ja oskavad ise koostada keskmise keerukusega turvatõestusi. Lisaks omandavad õppijad peamised krüptograafiliste protokollide ja primitiivide disainimise võtted.

Students obtain the ability to understand and verify various security proofs and are able to construct security proofs with reasonable complexity. Students also learn basic principles of cryptographic protocol and primitive design.

Hüpoteeside testimine ning selle laiendused krüptograafias. Arvutusliku eristamatuse ja semantilise turvalisuse vahelised seosed. Krüptosüsteemide ja kinnistusskeemide homoloogiline klassifikatsioon. Autentimisprimitiivid. Sigmaprotokollid ja nende seos digitaalsignatuuriprotokollidega. Nullteadmus ja teadmus-tõestused. Turvaline ühisarvutus. Peitedastus ja varjestatud arvutusmeetodid. Komponeeritavus ja keeruliste protokollide disainimine.

Hypothesis testing and its extensions in cryptography. Relation between indistinguishability and semantic security. Homological classification of cryptosystems and commitment schemes. Authentication primitives. Sigma protocols and their relation to digital signatures. Zero-knowledge and proofs of knowledge. Secure two- and multi-party computation. Oblivious transfer and crypto-computing. Composability and design of complex protocols.

eksam

exam

hetkel määramata

not fixed yet

Oded Goldreich. The Foundations of Cryptography II
Shafi Goldwasser, Mihir Bellare. Lecture Notes on Cryptography

-